Trait chalk_ir::could_match::CouldMatch
source · [−]pub trait CouldMatch<T: ?Sized + HasInterner> {
fn could_match(
&self,
interner: T::Interner,
db: &dyn UnificationDatabase<T::Interner>,
other: &T
) -> bool;
}
Expand description
A fast check to see whether two things could ever possibly match.
Required Methods
fn could_match(
&self,
interner: T::Interner,
db: &dyn UnificationDatabase<T::Interner>,
other: &T
) -> bool
fn could_match(
&self,
interner: T::Interner,
db: &dyn UnificationDatabase<T::Interner>,
other: &T
) -> bool
Checks whether self
and other
could possibly match.