Trait rustc_middle::ty::DebugWithInfcx

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

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

impl<I, T> DebugWithInfcx<I> for &T

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

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

where Infcx: InferCtxtLike<Interner = I>,

impl<I, T> DebugWithInfcx<I> for [T]

where I: Interner, T: DebugWithInfcx<I>,

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

where Infcx: InferCtxtLike<Interner = I>,

Implementors

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

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

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

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

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

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

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

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

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

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

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

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

impl<I> DebugWithInfcx<I> for ConstKind<I>

where I: Interner,

impl<I> DebugWithInfcx<I> for RegionKind<I>

where I: Interner,

impl<I> DebugWithInfcx<I> for InferConst

where I: Interner,

impl<I> DebugWithInfcx<I> for InferTy

where I: Interner,

impl<I> DebugWithInfcx<I> for TyKind<I>

where I: Interner,