pub fn wrap_filter(hops: &[RelationHop], inner: FilterExpr) -> FilterExprExpand description
Fold a scalar FilterExpr outward through the traversed path, applying
each hop’s quantifier. Mirrors what the macro previously emitted as
nested FilterExpr::relation*(...) token trees.