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

Inizia riproducendo l’esempio con mypy 1.7.1 su Python 3.11 e conferma la diagnostica attuale per Union[*Ts]. Traccia il supporto esistente per il variadic unpacking a partire dall’errore valid-type segnalato. Il lavoro è completo quando Union[*Ts] viene accettato e l’esempio consente A e B, rifiutando C con un errore arg-type.