Function mz_sql::query_model::attribute::relation_type::intersect_rejects_nulls
source · fn intersect_rejects_nulls(
box: &BoundRef<'_, QueryBox>,
cref: &ColumnReference
) -> bool
Expand description
A quantifier referenced the given ColumnReference
introduces nulls if:
- the enclosing box is of type
BoxType::Intersect
(asserted), and - at least one of the input quantifiers for the given position is not nullable.