Boundary: hasVariant array contains exactly one variant. Empirical question: does Google still emit a group Product snippet + 1 variant Product snippet?
hasVariant
Product snippet