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) -> ResultFormats 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>) -> boolThis 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>) -> boolThis 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>