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