pub fn wrap_filter(hops: &[RelationHop], inner: FilterExpr) -> FilterExprExpand description
Fold a scalar FilterExpr outward through the traversed path, applying
each hop’s quantifier and carrying each hop’s read scope onto the
relation node it becomes.