Trait chalk_engine::slg::SubstitutionExt

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

Required Methods

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

Implementations on Foreign Types

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

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

Implementors