query.private.Predicate.matches_many

any , all , and none use the standard iterator truth table and short-circuit from left to right. Other predicate families and the to-one is quantifier return false.

The crate::query::Filterable relation example executes this method in a hand-written generated-code expansion.