Function chalk_solve::solve::truncate::needs_truncation

pub fn needs_truncation<I: Interner>(
    interner: &I, 
    infer: &mut InferenceTable<I>, 
    max_size: usize, 
    value: impl Visit<I>
) -> bool