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>

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

Formats the value using the given formatter.

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

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

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, '__lifted> Lift<'__lifted> for DerivedObligationCause<'tcx>

type Lifted = DerivedObligationCause<'__lifted>

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

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 !=.

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

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

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