Function chalk_recursive::fulfill::is_trivial_canonical_subst

fn is_trivial_canonical_subst<I: Interner>(
    interner: I,
    subst: &Substitution<I>
) -> bool