24682, "ShreyasKhandekar", "Support promotion over tuples", "2024-03-26T21:46:48Z"
hard to know how to characterize what kind of
scalar argument can be combined with a heterogeneous tuple
Signature:
inline operator +(x: _tuple, y: x(0).type) where isHomogeneousTuple(x)
and
inline operator +(x: ?t, y: _tuple) where isHomogeneousTuple(y) && isCoercible(t, (y(0).type))