fn intersect_rejects_nulls(
    box: &BoundRef<'_, QueryBox>,
    cref: &ColumnReference
) -> bool
Expand description

A quantifier referenced the given ColumnReference introduces nulls if:

  1. the enclosing box is of type BoxType::Intersect (asserted), and
  2. at least one of the input quantifiers for the given position is not nullable.