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