Add test cases for TypeAlias and TypeVarTuple

Author: hyperkai

test-data/unit/check-python311.test

@@ -321,3 +321,15 @@ def exc_name() -> None:
     except* RuntimeError as e:
         e = fn_exc(e)
 [builtins fixtures/exception.pyi]
+
+[case testGenericTypeAliasArgOfTypeAliasIsUnpackedTuple]
+from typing_extensions import TypeAlias
+from typing import TypeVarTuple, Unpack
+
+Ts = TypeVarTuple('Ts')
+TA: TypeAlias = tuple[Unpack[Ts]]
+
+# v1: TA[*list[int]]  # E: "list[int]" cannot be unpacked (must be tuple or TypeVarTuple)
+
+v2: TA[Unpack[list[int]]]  # E: "list[int]" cannot be unpacked (must be tuple or TypeVarTuple)
+[builtins fixtures/tuple.pyi]