Struct chalk_ir::debug::GoalsDebug

pub struct GoalsDebug<'a, I: Interner> {
    goals: &'a Goals<I>,
    interner: I,
}

Helper struct for showing debug output for Goals.

Fields

goals: &'a Goals<I>

interner: I

Trait Implementations

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

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

Formats the value using the given formatter.