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

Required Methods§

source

fn fmt<InfCtx>( this: OptWithInfcx<'_, I, InfCtx, &Self>, f: &mut Formatter<'_> ) -> Result<(), Error>where InfCtx: InferCtxtLike<I>,

Implementors§

source§

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

source§

impl<'tcx> DebugWithInfcx<TyCtxt<'tcx>> for InferConst<'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 Ty<'tcx>

source§

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

source§

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

source§

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

source§

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

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>