Trait chalk_ir::could_match::CouldMatch

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

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

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

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

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

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