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>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

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

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

Formats the value using the given formatter.

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

type Lifted = ObligationCauseData<'__lifted>

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

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

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

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

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

This method tests for !=.

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

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

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