trait SubstitutionExt<I: Interner> {
    fn may_invalidate(
        &self,
        interner: I,
        subst: &Canonical<Substitution<I>>
    ) -> bool; }

Required Methods

Implementations on Foreign Types

Implementors