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.

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 Ty<'tcx>

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

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

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

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

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>