Struct rustc_infer::traits::ImplDerivedObligationCause

source ·

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§

§

Struct rustc_infer::traits::ImplDerivedObligationCause

Fields§

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§

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<T> ToOwned for Twhere T: Clone,

type Owned = T

fn to_owned(&self) -> T

fn clone_into(&self, target: &mut T)

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Layout§