Struct rustc_trait_selection::traits::DerivedObligationCause

pub struct DerivedObligationCause<'tcx> {
    pub parent_trait_ref: Binder<TraitRef<'tcx>>,
    pub parent_code: Rc<ObligationCauseCode<'tcx>>,
}

Fields

parent_trait_ref: Binder<TraitRef<'tcx>>

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

The parent trait had this cause.

Trait Implementations

impl<'tcx> Clone for DerivedObligationCause<'tcx>

fn clone(&self) -> DerivedObligationCause<'tcx>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'tcx> Debug for DerivedObligationCause<'tcx>

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl<'tcx> Eq for DerivedObligationCause<'tcx>

impl<'tcx> Hash for DerivedObligationCause<'tcx>

fn hash<__H>(&self, state: &mut __H) where
    __H: Hasher, 

Feeds this value into the given [Hasher].

fn hash_slice<H>(data: &[Self], state: &mut H) where
    H: Hasher, 

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

impl<'tcx> PartialEq<DerivedObligationCause<'tcx>> for DerivedObligationCause<'tcx>

fn eq(&self, other: &DerivedObligationCause<'tcx>) -> bool

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

fn ne(&self, other: &DerivedObligationCause<'tcx>) -> bool

This method tests for !=.