Trait chalk_engine::slg::SubstitutionExt

source · [−]

trait SubstitutionExt<I: Interner> {
    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