Struct chalk_ir::debug::SubstitutionDebug

pub struct SubstitutionDebug<'a, I: Interner> {
    substitution: &'a Substitution<I>,
    interner: I,
}

Helper struct for showing debug output for substitutions.

Fields

substitution: &'a Substitution<I>

interner: I

Trait Implementations

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

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

Formats the value using the given formatter.