Trait chalk_ir::could_match::CouldMatch

pub trait CouldMatch<T: ?Sized + HasInterner> {
    // Required method
    fn could_match(
        &self,
        interner: T::Interner,
        db: &dyn UnificationDatabase<T::Interner>,
        other: &T,
    ) -> bool;
}

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

Checks whether self and other could possibly match.

Implementors

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

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

impl<T, I> CouldMatch<T> for T

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