[−][src]Trait chalk_ir::could_match::CouldMatch
A fast check to see whether two things could ever possibly match.
Required methods
fn could_match(&self, interner: &T::Interner, other: &T) -> bool
Implementors
impl<I: Interner> CouldMatch<DomainGoal<I>> for ProgramClauseData<I>
[src]
fn could_match(&self, interner: &I, other: &DomainGoal<I>) -> bool
[src]
impl<I: Interner> CouldMatch<DomainGoal<I>> for ProgramClause<I>
[src]
fn could_match(&self, interner: &I, other: &DomainGoal<I>) -> bool
[src]
impl<T: ?Sized, I> CouldMatch<T> for T where
T: Zip<I> + HasInterner<Interner = I>,
I: Interner,
[src]
T: Zip<I> + HasInterner<Interner = I>,
I: Interner,