Trait ToTrace 

pub trait ToTrace<'db>: Relate<DbInterner<'db>> {
    // Required method
    fn to_trace(cause: &ObligationCause, a: Self, b: Self) -> TypeTrace<'db>;
}

Required Methods

fn to_trace(cause: &ObligationCause, a: Self, b: Self) -> TypeTrace<'db>

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementations on Foreign Types

impl<'db> ToTrace<'db> for FnSig<DbInterner<'db>>

fn to_trace(cause: &ObligationCause, a: Self, b: Self) -> TypeTrace<'db>

Implementors

impl<'db> ToTrace<'db> for AliasTerm<'db>

impl<'db> ToTrace<'db> for AliasTy<'db>

impl<'db> ToTrace<'db> for Const<'db>

impl<'db> ToTrace<'db> for GenericArg<'db>

impl<'db> ToTrace<'db> for PolyExistentialProjection<'db>

impl<'db> ToTrace<'db> for PolyExistentialTraitRef<'db>

impl<'db> ToTrace<'db> for PolyFnSig<'db>

impl<'db> ToTrace<'db> for Region<'db>

impl<'db> ToTrace<'db> for Term<'db>

impl<'db> ToTrace<'db> for TraitRef<'db>

impl<'db> ToTrace<'db> for Ty<'db>