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