Add basic usage to testcases, add test for inline tvar defaults

Author: sterliakov

test-data/unit/check-python312.test

@@ -2044,6 +2044,7 @@ b: tuple[*tuple[int, ...], *tuple[int, ...]]  # E: More than one Unpack in a typ
 [typing fixtures/typing-full.pyi]
 
 [case testPEP695TypeVarConstraintsDefaultAliases]
+from typing import Generic
 from typing_extensions import TypeVar
 
 type K = int
@@ -2053,4 +2054,15 @@ type L = list[int]
 T1 = TypeVar("T1", str, K, default=K)
 T2 = TypeVar("T2", str, K, default=V)
 T3 = TypeVar("T3", str, L, default=L)
+
+class A1(Generic[T1]):
+    x: T1
+class A2(Generic[T2]):
+    x: T2
+class A3(Generic[T3]):
+    x: T3
+
+reveal_type(A1().x)  # N: Revealed type is "builtins.int"
+reveal_type(A2().x)  # N: Revealed type is "builtins.int"
+reveal_type(A3().x)  # N: Revealed type is "builtins.list[builtins.int]"
 [builtins fixtures/tuple.pyi]

test-data/unit/check-python313.test

@@ -255,3 +255,19 @@ def func_c1(
 
 [builtins fixtures/tuple.pyi]
 [typing fixtures/typing-full.pyi]
+
+[case testTypeVarConstraintsDefaultAliasesInline]
+type K = int
+type V = int
+
+class A1[T: (str, int) = K]:
+    x: T
+class A2[T: (str, K) = K]:
+    x: T
+class A3[T: (str, K) = V]:
+    x: T
+
+reveal_type(A1().x)  # N: Revealed type is "builtins.int"
+reveal_type(A2().x)  # N: Revealed type is "builtins.int"
+reveal_type(A3().x)  # N: Revealed type is "builtins.int"
+[builtins fixtures/tuple.pyi]

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

@@ -749,6 +749,7 @@ reveal_type(a.a)  # N: Revealed type is "Union[builtins.int, None]"
 [builtins fixtures/tuple.pyi]
 
 [case testTypeVarConstraintsDefaultAliasesTypeAliasType]
+from typing import Generic
 from typing_extensions import TypeAliasType, TypeVar
 
 K = TypeAliasType("K", int)
@@ -757,6 +758,17 @@ L = TypeAliasType("L", list[int])
 T1 = TypeVar("T1", str, K, default=K)
 T2 = TypeVar("T2", str, K, default=V)
 T3 = TypeVar("T3", str, L, default=L)
+
+class A1(Generic[T1]):
+    x: T1
+class A2(Generic[T2]):
+    x: T2
+class A3(Generic[T3]):
+    x: T3
+
+reveal_type(A1().x)  # N: Revealed type is "builtins.int"
+reveal_type(A2().x)  # N: Revealed type is "builtins.int"
+reveal_type(A3().x)  # N: Revealed type is "builtins.list[builtins.int]"
 [builtins fixtures/tuple.pyi]
 
 [case testTypeVarConstraintsDefaultAliasesImplicitAlias]
@@ -782,7 +794,7 @@ T3 = TypeVar("T3", str, L, default=L)
 [builtins fixtures/tuple.pyi]
 
 [case testTypeVarConstraintsDefaultSpecialTypes]
-from typing import NamedTuple
+from typing import Generic, NamedTuple
 from typing_extensions import TypedDict, TypeVar
 
 class TD(TypedDict):
@@ -793,6 +805,14 @@ class NT(NamedTuple):
 
 T1 = TypeVar("T1", str, TD, default=TD)
 T2 = TypeVar("T2", str, NT, default=NT)
+
+class A1(Generic[T1]):
+    x: T1
+class A2(Generic[T2]):
+    x: T2
+
+reveal_type(A1().x)  # N: Revealed type is "TypedDict('__main__.TD', {'foo': builtins.str})"
+reveal_type(A2().x)  # N: Revealed type is "Tuple[builtins.str, fallback=__main__.NT]"
 [builtins fixtures/tuple.pyi]
 
 [case testTypeVarConstraintsDefaultSpecialTypesGeneric]
@@ -816,4 +836,15 @@ T2 = TypeVar("T2", str, NT[int], default=NT[int])
 T3 = TypeVar("T3", str, TD2, default=TD[int])
 T4 = TypeVar("T4", str, TD3, default=TD[int])  # E: TypeVar default must be one of the constraint types
 T5 = TypeVar("T5", str, NT2, default=NT[int])  # E: TypeVar default must be one of the constraint types
+
+class A1(Generic[T1]):
+    x: T1
+class A2(Generic[T2]):
+    x: T2
+class A3(Generic[T3]):
+    x: T3
+
+reveal_type(A1().x)  # N: Revealed type is "TypedDict('__main__.TD', {'foo': builtins.int})"
+reveal_type(A2().x)  # N: Revealed type is "Tuple[builtins.int, fallback=__main__.NT[builtins.int]]"
+reveal_type(A3().x)  # N: Revealed type is "TypedDict('__main__.TD', {'foo': builtins.int})"
 [builtins fixtures/tuple.pyi]