[ty] Selectively promote a union of homogenously-typed, fixed-length tuples of differing lengths to a single, variable-length tuple.

[ty] Selectively promote a union of homogenously-typed, fixed-length tuples of differing lengths to a single, variable-length tuple. #21272