Support for Union[*TypeVarTuple]

(Forwarded from https://github.com/python/typing/issues/1523)
I'm trying to annotate a method that only accepts a union of specific types, with the types specified via variadic generic. Although mypy supports variadic unpacking like Tuple[*Ts], unpacking Union[*Ts] doesn't seem to work yet:

import typing

Ts = typing.TypeVarTuple("Ts")

class Accepts(typing.Generic[*Ts]):
    # error: Unpack is only valid in a variadic position  [valid-type]
    def foo(self, x: typing.Union[*Ts]): ...

class A: ...
class B: ...
class C: ...
class Test(Accepts[A, B]): ...

Test().foo(A())  # ok
Test().foo(B())  # ok
Test().foo(C())  # should raise [arg-type] error

Mypy 1.7.1, Python 3.11

Empieza reproduciendo el ejemplo con mypy 1.7.1 en Python 3.11 y confirma el diagnóstico actual para Union[*Ts]. Rastrea la compatibilidad existente con el desempaquetado variádico a partir del error valid-type informado. Se considera terminado cuando Union[*Ts] se acepta y el ejemplo permite A y B, pero rechaza C con un error arg-type.