Combine cases of `Tuple.Zip` disjoint from `(h1 : t1, h2 : t2)`#21287

Merged

EugeneFlesselle merged 2 commits intoscala:mainfrom

dotty-staging:tuples/zip

Nov 18, 2024

Commits on Nov 7, 2024

Combine cases of `Tuple.Zip` disjoint from `(h1 *: t1, h2 *: t2)`
EugeneFlesselle
committed

Commits on Nov 12, 2024

Test reduction of Tuple.Zip
EugeneFlesselle
committed