Struct rustc_middle::traits::ObligationCause

pub struct ObligationCause<'tcx> {
    data: Option<Rc<ObligationCauseData<'tcx>>>,
}

The reason why we incurred this obligation; used for error reporting.

As the happy path does not care about this struct, storing this on the heap ends up increasing performance.

We do not want to intern this as there are a lot of obligation causes which only live for a short period of time.

Fields

data: Option<Rc<ObligationCauseData<'tcx>>>

None for ObligationCause::dummy, Some otherwise.

Implementations

impl<'tcx> ObligationCause<'tcx>

pub fn new(
    span: Span,
    body_id: HirId,
    code: ObligationCauseCode<'tcx>
) -> ObligationCause<'tcx>

pub fn misc(span: Span, body_id: HirId) -> ObligationCause<'tcx>

pub fn dummy_with_span(span: Span) -> ObligationCause<'tcx>

pub fn dummy() -> ObligationCause<'tcx>

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

pub fn span(&self, tcx: TyCtxt<'tcx>) -> Span

Trait Implementations

impl<'tcx> Clone for ObligationCause<'tcx>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'tcx> Debug for ObligationCause<'tcx>

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

Formats the value using the given formatter.

impl<'tcx> Deref for ObligationCause<'tcx>

type Target = ObligationCauseData<'tcx>

The resulting type after dereferencing.

pub fn deref(&self) -> &Self::Target

Dereferences the value.

impl<'tcx> Eq for ObligationCause<'tcx>

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

type Lifted = ObligationCause<'__lifted>

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

impl<'tcx> PartialEq<ObligationCause<'tcx>> for ObligationCause<'tcx>

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

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

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

This method tests for !=.

impl<'tcx> StructuralEq for ObligationCause<'tcx>

impl<'tcx> StructuralPartialEq for ObligationCause<'tcx>