pub struct ImplDerivedObligationCause<'tcx> {
pub derived: DerivedObligationCause<'tcx>,
pub impl_or_alias_def_id: DefId,
pub impl_def_predicate_index: Option<usize>,
pub span: Span,
}
Fields§
§derived: DerivedObligationCause<'tcx>
§impl_or_alias_def_id: DefId
The DefId
of the impl
that gave rise to the derived
obligation.
If the derived
obligation arose from a trait alias, which conceptually has a synthetic impl,
then this will be the DefId
of that trait alias. Care should therefore be taken to handle
that exceptional case where appropriate.
impl_def_predicate_index: Option<usize>
The index of the derived predicate in the parent impl’s predicates.
span: Span
Auto Trait Implementations§
impl<'tcx> !RefUnwindSafe for ImplDerivedObligationCause<'tcx>
impl<'tcx> !Send for ImplDerivedObligationCause<'tcx>
impl<'tcx> !Sync for ImplDerivedObligationCause<'tcx>
impl<'tcx> Unpin for ImplDerivedObligationCause<'tcx>
impl<'tcx> !UnwindSafe for ImplDerivedObligationCause<'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
Mutably borrows from an owned value. Read more
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: 72 bytes