pub trait CouldMatch<T: ?Sized + HasInterner> {
    // Required method
    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§

source

fn could_match( &self, interner: T::Interner, db: &dyn UnificationDatabase<T::Interner>, other: &T ) -> bool

Checks whether self and other could possibly match.

Implementors§

source§

impl<I: Interner> CouldMatch<DomainGoal<I>> for ProgramClause<I>

source§

impl<I: Interner> CouldMatch<DomainGoal<I>> for ProgramClauseData<I>

source§

impl<T, I> CouldMatch<T> for T
where T: Zip<I> + ?Sized + HasInterner<Interner = I>, I: Interner,