Struct rustc::traits::DerivedObligationCause [−][src]
pub struct DerivedObligationCause<'tcx> { parent_trait_ref: PolyTraitRef<'tcx>, parent_code: Rc<ObligationCauseCode<'tcx>>, }
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
Fields
parent_trait_ref: PolyTraitRef<'tcx>
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
The trait reference of the parent obligation that led to the current obligation. Note that only trait obligations lead to derived obligations, so we just store the trait reference here directly.
parent_code: Rc<ObligationCauseCode<'tcx>>
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
The parent trait had this cause
Trait Implementations
impl<'a, 'tcx> Lift<'tcx> for DerivedObligationCause<'a>
[src]
impl<'a, 'tcx> Lift<'tcx> for DerivedObligationCause<'a>
type Lifted = DerivedObligationCause<'tcx>
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
fn lift_to_tcx<'b, 'gcx>(
&self,
tcx: TyCtxt<'b, 'gcx, 'tcx>
) -> Option<Self::Lifted>
[src]
fn lift_to_tcx<'b, 'gcx>(
&self,
tcx: TyCtxt<'b, 'gcx, 'tcx>
) -> Option<Self::Lifted>
🔬 This is a nightly-only experimental API. (rustc_private
)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml
instead?
impl<'tcx> Clone for DerivedObligationCause<'tcx>
[src]
impl<'tcx> Clone for DerivedObligationCause<'tcx>
fn clone(&self) -> DerivedObligationCause<'tcx>
[src]
fn clone(&self) -> DerivedObligationCause<'tcx>
Returns a copy of the value. Read more
fn clone_from(&mut self, source: &Self)
1.0.0[src]
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from source
. Read more
impl<'tcx> Debug for DerivedObligationCause<'tcx>
[src]
impl<'tcx> Debug for DerivedObligationCause<'tcx>
fn fmt(&self, f: &mut Formatter) -> Result
[src]
fn fmt(&self, f: &mut Formatter) -> Result
Formats the value using the given formatter. Read more
impl<'tcx> PartialEq for DerivedObligationCause<'tcx>
[src]
impl<'tcx> PartialEq for DerivedObligationCause<'tcx>
fn eq(&self, other: &DerivedObligationCause<'tcx>) -> bool
[src]
fn eq(&self, other: &DerivedObligationCause<'tcx>) -> bool
This method tests for self
and other
values to be equal, and is used by ==
. Read more
fn ne(&self, other: &DerivedObligationCause<'tcx>) -> bool
[src]
fn ne(&self, other: &DerivedObligationCause<'tcx>) -> bool
This method tests for !=
.
impl<'tcx> Eq for DerivedObligationCause<'tcx>
[src]
impl<'tcx> Eq for DerivedObligationCause<'tcx>
fn assert_receiver_is_total_eq(&self)
[src]
fn assert_receiver_is_total_eq(&self)
impl<'tcx> Hash for DerivedObligationCause<'tcx>
[src]
impl<'tcx> Hash for DerivedObligationCause<'tcx>
Auto Trait Implementations
impl<'tcx> !Send for DerivedObligationCause<'tcx>
impl<'tcx> !Send for DerivedObligationCause<'tcx>
impl<'tcx> !Sync for DerivedObligationCause<'tcx>
impl<'tcx> !Sync for DerivedObligationCause<'tcx>