tuple[()] | tuple[int, *tuple[int, ...]] should be equivalent to tuple[int, ...] #273
Description
Describe the Bug
Interesting example posted by @jorenham in https://discuss.python.org/t/unbounded-tuple-unions/92472, thanks!
Related to contextual subtyping + possibly type simplification