Trait chalk_engine::slg::SubstitutionExt

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

Required Methods§

source

fn may_invalidate( &self, interner: I, subst: &Canonical<Substitution<I>>, ) -> bool

Implementations on Foreign Types§

source§

impl<I: Interner> SubstitutionExt<I> for Substitution<I>

source§

fn may_invalidate( &self, interner: I, subst: &Canonical<Substitution<I>>, ) -> bool

Implementors§