Trait chalk_ir::could_match::CouldMatch

pub trait CouldMatch<T: ?Sized + HasInterner> {
    fn could_match(&self, interner: &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, other: &T) -> bool

Checks whether self and other could possibly match.

Loading content...

Implementors

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

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

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

fn could_match(&self, interner: &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, other: &T) -> bool

Loading content...