Struct rustc_middle::traits::ObligationCauseData

pub struct ObligationCauseData<'tcx> {
    pub span: Span,
    pub body_id: HirId,
    pub code: ObligationCauseCode<'tcx>,
}

Fields

span: Span

body_id: HirId

The ID of the fn body that triggered this obligation. This is used for region obligations to determine the precise environment in which the region obligation should be evaluated (in particular, closures can add new assumptions). See the field region_obligations of the FulfillmentContext for more information.

code: ObligationCauseCode<'tcx>

Trait Implementations

impl<'tcx> Clone for ObligationCauseData<'tcx>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'tcx> Debug for ObligationCauseData<'tcx>

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

Formats the value using the given formatter.

impl<'tcx> Eq for ObligationCauseData<'tcx>

impl<'tcx> Hash for ObligationCauseData<'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 ObligationCauseData<'tcx>

type Lifted = ObligationCauseData<'__lifted>

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

impl<'tcx> PartialEq<ObligationCauseData<'tcx>> for ObligationCauseData<'tcx>

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

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

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

This method tests for !=.

impl<'tcx> StructuralEq for ObligationCauseData<'tcx>

impl<'tcx> StructuralPartialEq for ObligationCauseData<'tcx>