Trait rustc_type_ir::DebugWithInfcx

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

Required Methods

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

Implementations on Foreign Types

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

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

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

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

Implementors

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

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

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

impl<I: Interner<InferTy = InferTy>> DebugWithInfcx<I> for InferTy

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

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

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

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

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

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

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

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

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

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

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

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

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