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

Checks whether self and other could possibly match.

Implementors