Trait rustc_middle::ty::DebugWithInfcx
source · 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>;
}