Trait rustc_infer::infer::at::ToTrace

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

Required Methods

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

Implementations on Foreign Types

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

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

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

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

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

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

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

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

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

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

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

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

impl<'tcx> ToTrace<'tcx> for PolyTraitRef<'tcx>

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

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

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

Implementors