Strict variant of IntersectWithSK that preserves never[] for empty
name sets. Used when Names is already the result of an intersection (e.g.
filter keys ∩ $or blocks) and may be never — in that case the result must
stay never[], not fall back to QueryResults<T>.
Strict variant of IntersectWithSK that preserves
never[]for empty name sets. Used whenNamesis already the result of an intersection (e.g. filter keys ∩ $or blocks) and may benever— in that case the result must staynever[], not fall back toQueryResults<T>.