Struct rustc_trait_selection::traits::ObligationCause
source · pub struct ObligationCause<'tcx> {
pub span: Span,
pub body_id: LocalDefId,
code: InternedObligationCauseCode<'tcx>,
}
Expand description
The reason why we incurred this obligation; used for error reporting.
Non-misc ObligationCauseCode
s are stored on the heap. This gives the
best trade-off between keeping the type small (which makes copies cheaper)
while not doing too many heap allocations.
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§
§span: Span
§body_id: LocalDefId
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: InternedObligationCauseCode<'tcx>
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§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
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: 24 bytes