pub trait DebugWithInfcx<I>: Debug
where I: Interner,
{ // Required method fn fmt<Infcx>( this: WithInfcx<'_, Infcx, &Self>, f: &mut Formatter<'_> ) -> Result<(), Error> where Infcx: InferCtxtLike<Interner = I>; }

Required Methods§

source

fn fmt<Infcx>( this: WithInfcx<'_, Infcx, &Self>, f: &mut Formatter<'_> ) -> Result<(), Error>
where Infcx: InferCtxtLike<Interner = I>,

Object Safety§

This trait is not object safe.

Implementations on Foreign Types§

source§

impl<I, T> DebugWithInfcx<I> for &T
where I: Interner, T: DebugWithInfcx<I> + ?Sized,

source§

fn fmt<Infcx>( this: WithInfcx<'_, Infcx, &&T>, f: &mut Formatter<'_> ) -> Result<(), Error>
where Infcx: InferCtxtLike<Interner = I>,

source§

impl<I, T> DebugWithInfcx<I> for [T]
where I: Interner, T: DebugWithInfcx<I>,

source§

fn fmt<Infcx>( this: WithInfcx<'_, Infcx, &[T]>, f: &mut Formatter<'_> ) -> Result<(), Error>
where Infcx: InferCtxtLike<Interner = I>,

Implementors§

source§

impl<'tcx> DebugWithInfcx<TyCtxt<'tcx>> for Expr<'tcx>

source§

impl<'tcx> DebugWithInfcx<TyCtxt<'tcx>> for ExistentialPredicate<'tcx>

source§

impl<'tcx> DebugWithInfcx<TyCtxt<'tcx>> for UnevaluatedConst<'tcx>

source§

impl<'tcx> DebugWithInfcx<TyCtxt<'tcx>> for Const<'tcx>

source§

impl<'tcx> DebugWithInfcx<TyCtxt<'tcx>> for GenericArg<'tcx>

source§

impl<'tcx> DebugWithInfcx<TyCtxt<'tcx>> for Region<'tcx>

source§

impl<'tcx> DebugWithInfcx<TyCtxt<'tcx>> for RegionVid

source§

impl<'tcx> DebugWithInfcx<TyCtxt<'tcx>> for Ty<'tcx>

source§

impl<'tcx> DebugWithInfcx<TyCtxt<'tcx>> for AliasTy<'tcx>

source§

impl<'tcx> DebugWithInfcx<TyCtxt<'tcx>> for FnSig<'tcx>

source§

impl<'tcx, T: DebugWithInfcx<TyCtxt<'tcx>>> DebugWithInfcx<TyCtxt<'tcx>> for List<T>

source§

impl<'tcx, T: DebugWithInfcx<TyCtxt<'tcx>>> DebugWithInfcx<TyCtxt<'tcx>> for Binder<'tcx, T>

source§

impl<I> DebugWithInfcx<I> for ConstKind<I>
where I: Interner,

source§

impl<I> DebugWithInfcx<I> for RegionKind<I>
where I: Interner,

source§

impl<I> DebugWithInfcx<I> for InferConst
where I: Interner,

source§

impl<I> DebugWithInfcx<I> for InferTy
where I: Interner,

source§

impl<I> DebugWithInfcx<I> for TyKind<I>
where I: Interner,