Type Definition rustc_trait_selection::traits::TraitObligation

pub type TraitObligation<'tcx> = Obligation<Binder<TraitPredicate>>;

Trait Implementations

impl<'tcx> TraitObligationExt<'tcx> for TraitObligation<'tcx>

fn derived_cause(
    &self,
    variant: fn(_: DerivedObligationCause<'tcx>) -> ObligationCauseCode<'tcx>
) -> ObligationCause<'tcx>

• Creates a cause for obligations that are derived from
• obligation by a recursive search (e.g., for a builtin
• bound, or eventually a auto trait Foo). If obligation
• is itself a derived obligation, this is just a clone, but
• otherwise we create a “derived obligation” cause so as to
• keep track of the original root obligation for error
• reporting.

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference’s “Type Layout” chapter for details on type layout guarantees.

Size: 72 bytes