[−][src]Struct rustc_infer::traits::ObligationCause

pub struct ObligationCause<'tcx> {
    pub(in traits) 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.

Trait Implementations

impl<'tcx> ObligationCauseExt<'tcx> for ObligationCause<'tcx>[src]

Auto Trait Implementations

impl<'tcx> !RefUnwindSafe for ObligationCause<'tcx>

impl<'tcx> !Send for ObligationCause<'tcx>

impl<'tcx> !Sync for ObligationCause<'tcx>

impl<'tcx> Unpin for ObligationCause<'tcx>

impl<'tcx> !UnwindSafe for ObligationCause<'tcx>

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized, 
[src]

impl<T> Borrow<T> for T where
    T: ?Sized, 
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized, 
[src]

impl<'a, T> Captures<'a> for T where
    T: ?Sized, 
[src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T> ToOwned for T where
    T: Clone, 
[src]

type Owned = T

The resulting type after obtaining ownership.

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

impl<T> WithConstness for T[src]