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

🔬 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.

🔬 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]

🔬 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?

🔬 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]

Returns a copy of the value. Read more

Performs copy-assignment from source. Read more

impl<'tcx> Debug for DerivedObligationCause<'tcx>
[src]

Formats the value using the given formatter. Read more

impl<'tcx> PartialEq for DerivedObligationCause<'tcx>
[src]

This method tests for self and other values to be equal, and is used by ==. Read more

This method tests for !=.

impl<'tcx> Eq for DerivedObligationCause<'tcx>
[src]

impl<'tcx> Hash for DerivedObligationCause<'tcx>
[src]

Feeds this value into the given [Hasher]. Read more

Feeds a slice of this type into the given [Hasher]. Read more

Auto Trait Implementations

impl<'tcx> !Send for DerivedObligationCause<'tcx>

impl<'tcx> !Sync for DerivedObligationCause<'tcx>