Struct rustc_middle::traits::DerivedObligationCause

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

Fields

parent_trait_ref: PolyTraitRef<'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>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

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

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

Formats the value using the given formatter.

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

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

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

Feeds this value into the given Hasher.

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

Feeds a slice of this type into the given Hasher.

impl<'tcx, '__lifted> Lift<'__lifted> for DerivedObligationCause<'tcx>

type Lifted = DerivedObligationCause<'__lifted>

pub fn lift_to_tcx(
    self,
    __tcx: TyCtxt<'__lifted>
) -> Option<DerivedObligationCause<'__lifted>>

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

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

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

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

This method tests for !=.

impl<'tcx> StructuralEq for DerivedObligationCause<'tcx>

impl<'tcx> StructuralPartialEq for DerivedObligationCause<'tcx>