Struct chalk_ir::debug::TyKindDebug

pub struct TyKindDebug<'a, I: Interner> {
    ty: &'a TyKind<I>,
    interner: I,
}

Helper struct for showing debug output for application types.

Fields

ty: &'a TyKind<I>

interner: I

Trait Implementations

impl<'a, I: Interner> Debug for TyKindDebug<'a, I>

fn fmt(&self, fmt: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.