Trait ToTrace

source

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

Required Methods§

source

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

Object Safety§

This trait is not object safe.

Implementations on Foreign Types§

source §

Trait ToTraceCopy item path

Required Methods§

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

Object Safety§

Implementations on Foreign Types§

impl<'tcx> ToTrace<'tcx> for ImplSubject<'tcx>

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

impl<'tcx> ToTrace<'tcx> for Const<'tcx>

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

impl<'tcx> ToTrace<'tcx> for GenericArg<'tcx>

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

impl<'tcx> ToTrace<'tcx> for Region<'tcx>

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

impl<'tcx> ToTrace<'tcx> for Term<'tcx>

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

impl<'tcx> ToTrace<'tcx> for Ty<'tcx>

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

impl<'tcx> ToTrace<'tcx> for AliasTerm<'tcx>

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

impl<'tcx> ToTrace<'tcx> for PolyExistentialProjection<'tcx>

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

impl<'tcx> ToTrace<'tcx> for PolyExistentialTraitRef<'tcx>

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

impl<'tcx> ToTrace<'tcx> for TraitRef<'tcx>

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

impl<'tcx> ToTrace<'tcx> for AliasTy<'tcx>

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

impl<'tcx> ToTrace<'tcx> for FnSig<'tcx>

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

impl<'tcx> ToTrace<'tcx> for PolyFnSig<'tcx>

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

Implementors§

Trait ToTrace