add tests

Author: KevinRK29

test-data/unit/check-typevar-tuple.test

@@ -578,6 +578,7 @@ reveal_type(b)  # N: Revealed type is "def (*Any) -> builtins.int"
 [builtins fixtures/tuple.pyi]
 
 [case testTypeVarTuplePep646CallableNewSyntax]
+# flags: --python-version 3.11
 from typing import Callable, Generic, Tuple
 from typing_extensions import ParamSpec
 
@@ -2155,6 +2156,7 @@ def f(x: int | None):
 [builtins fixtures/tuple.pyi]
 
 [case testJoinOfVariadicTupleCallablesNoCrash]
+# flags: --python-version 3.11
 from typing import Callable, Tuple
 
 f: Callable[[int, *Tuple[str, ...], int], None]
@@ -2608,6 +2610,7 @@ def test(xs: tuple[Unpack[Ts]], xsi: tuple[int, Unpack[Ts]]) -> None:
 [builtins fixtures/tuple.pyi]
 
 [case testTypeVarTupleInferAgainstAnyCallableSuffix]
+# flags: --python-version 3.11
 from typing import Any, Callable, TypeVar, TypeVarTuple
 
 Ts = TypeVarTuple("Ts")
@@ -2620,6 +2623,7 @@ reveal_type(deco(untyped))  # N: Revealed type is "def (*Any) -> Any"
 [builtins fixtures/tuple.pyi]
 
 [case testNoCrashOnNonNormalUnpackInCallable]
+# flags: --python-version 3.11
 from typing import Callable, Unpack, TypeVar
 
 T = TypeVar("T")

test-data/unit/check-varargs.test

@@ -1116,6 +1116,7 @@ class D:
 [builtins fixtures/dict.pyi]
 
 [case testUnpackInCallableType]
+# flags: --python-version 3.11
 from typing import Callable, TypedDict
 from typing_extensions import Unpack
 

test-data/unit/native-parser.test

@@ -1300,12 +1300,12 @@ try:
 except* ValueError:
     y
 [out]
+1:0: error: Exception groups: requires Python 3.11 or newer (current target: Python 3.10)
 MypyFile:1(
   TryStmt:1(
     Block:2(
       ExpressionStmt:2(
         NameExpr(x)))
-    *
     NameExpr(ValueError)
     Block:4(
       ExpressionStmt:4(
@@ -1317,12 +1317,12 @@ try:
 except* Exception as e:
     y
 [out]
+1:0: error: Exception groups: requires Python 3.11 or newer (current target: Python 3.10)
 MypyFile:1(
   TryStmt:1(
     Block:2(
       ExpressionStmt:2(
         NameExpr(x)))
-    *
     NameExpr(Exception)
     NameExpr(e)
     Block:4(
@@ -1337,12 +1337,12 @@ except* ValueError:
 except* KeyError as e:
     z
 [out]
+1:0: error: Exception groups: requires Python 3.11 or newer (current target: Python 3.10)
 MypyFile:1(
   TryStmt:1(
     Block:2(
       ExpressionStmt:2(
         NameExpr(x)))
-    *
     NameExpr(ValueError)
     Block:4(
       ExpressionStmt:4(
@@ -1363,12 +1363,12 @@ else:
 finally:
     w
 [out]
+1:0: error: Exception groups: requires Python 3.11 or newer (current target: Python 3.10)
 MypyFile:1(
   TryStmt:1(
     Block:2(
       ExpressionStmt:2(
         NameExpr(x)))
-    *
     NameExpr(ValueError)
     Block:4(
       ExpressionStmt:4(
@@ -2022,6 +2022,7 @@ MypyFile:1(
 def f(*args: *Ts) -> None:
     pass
 [out]
+1:13: error: Star unpack syntax: requires Python 3.11 or newer (current target: Python 3.10)
 MypyFile:1(
   FuncDef:1(
     f
@@ -2034,6 +2035,7 @@ MypyFile:1(
 [case testUnpackTypeInTuple]
 x: tuple[int, *Ts, str]
 [out]
+1:14: error: Star unpack syntax: requires Python 3.11 or newer (current target: Python 3.10)
 MypyFile:1(
   AssignmentStmt:1(
     NameExpr(x)
@@ -3190,6 +3192,7 @@ MypyFile:1(
 # comment
 type A[T] = C[T]
 [out]
+2:0: error: "type" statements: requires Python 3.12 or newer (current target: Python 3.10)
 MypyFile:1(
   TypeAliasStmt:2(
     NameExpr(A)
@@ -3209,6 +3212,9 @@ def f[T](): pass
 def g[T: str](): pass
 def h[T: (int, str)](): pass
 [out]
+3:0: error: Improved type parameter syntax: requires Python 3.12 or newer (current target: Python 3.10)
+4:0: error: Improved type parameter syntax: requires Python 3.12 or newer (current target: Python 3.10)
+5:0: error: Improved type parameter syntax: requires Python 3.12 or newer (current target: Python 3.10)
 MypyFile:1(
   FuncDef:3(
     f
@@ -3239,6 +3245,8 @@ MypyFile:1(
 def f[**P](): pass
 class C[T: int, **P]: pass
 [out]
+3:0: error: Improved type parameter syntax: requires Python 3.12 or newer (current target: Python 3.10)
+4:0: error: Improved type parameter syntax: requires Python 3.12 or newer (current target: Python 3.10)
 MypyFile:1(
   FuncDef:3(
     f
@@ -3261,6 +3269,8 @@ MypyFile:1(
 def f[*Ts](): pass
 class C[T: int, *Ts]: pass
 [out]
+3:0: error: Improved type parameter syntax: requires Python 3.12 or newer (current target: Python 3.10)
+4:0: error: Improved type parameter syntax: requires Python 3.12 or newer (current target: Python 3.10)
 MypyFile:1(
   FuncDef:3(
     f

test-data/unit/pythoneval.test

@@ -2268,3 +2268,28 @@ _testNarrowingMappingAndAbstractSet.py:33: note: Revealed type is "dict[str, int
 _testNarrowingMappingAndAbstractSet.py:34: note: Revealed type is "set[str]"
 _testNarrowingMappingAndAbstractSet.py:38: note: Revealed type is "_collections_abc.dict_keys[str, int]"
 _testNarrowingMappingAndAbstractSet.py:39: note: Revealed type is "set[str]"
+
+[case testNativeParserTStringRequiresPython314]
+# flags: --python-version=3.13 --native-parser --ignore-missing-imports
+x = t"hello {1}"
+[out]
+_testNativeParserTStringRequiresPython314.py:2: error: T-strings: requires Python 3.14 or newer (current target: Python 3.13)
+
+[case testNativeParserTStringRequiresPython314InStub]
+# flags: --python-version=3.13 --native-parser --ignore-missing-imports
+import m
+[file m.pyi]
+x: object
+def f() -> object: ...
+y = t"hello {1}"
+[out]
+m.pyi:3: error: T-strings: requires Python 3.14 or newer (current target: Python 3.13)
+
+[case testNativeParserStarUnpackRequiresPython311]
+# flags: --python-version=3.10 --native-parser
+from typing_extensions import TypeVarTuple, Unpack
+Ts = TypeVarTuple("Ts")
+def f(x: tuple[Unpack[Ts]]) -> None: ...
+def g(x: tuple[*Ts]) -> None: ...
+[out]
+_testNativeParserStarUnpackRequiresPython311.py:5: error: Star unpack syntax: requires Python 3.11 or newer (current target: Python 3.10)