Struct rustc_infer::traits::ObligationCause
source · pub struct ObligationCause<'tcx> {
pub span: Span,
pub body_id: HirId,
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: 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: InternedObligationCauseCode<'tcx>
Trait Implementations
sourceimpl<'tcx> ObligationCauseExt<'tcx> for ObligationCause<'tcx>
impl<'tcx> ObligationCauseExt<'tcx> for ObligationCause<'tcx>
fn as_failure_code(&self, terr: TypeError<'tcx>) -> FailureCode
fn as_requirement_str(&self) -> &'static str
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
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
impl<'a, T> Captures<'a> for Twhere
T: ?Sized,
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