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

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

Fields

span: Spanbody_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>

Auto Trait Implementations

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

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

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

impl<'tcx> Unpin for ObligationCauseData<'tcx>

impl<'tcx> !UnwindSafe for ObligationCauseData<'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]