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>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

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

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.

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

Dereferences the value.

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

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

type Lifted = ObligationCause<'__lifted>

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

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

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

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

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

This method tests for !=.

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

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