Struct rustc_infer::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>

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference’s “Type Layout” chapter for details on type layout guarantees.

Size: 56 bytes