Add tests for namedtuple and typeddict (both were unsupported, reported in #17686

Author: sterliakov

test-data/unit/check-python312.test

@@ -2043,7 +2043,7 @@ b: tuple[*tuple[int, ...], *tuple[int, ...]]  # E: More than one Unpack in a typ
 [builtins fixtures/tuple.pyi]
 [typing fixtures/typing-full.pyi]
 
-[case testPEP695TypeVarDefaultAliases]
+[case testPEP695TypeVarConstraintsDefaultAliases]
 from typing_extensions import TypeVar
 
 type K = int

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

@@ -748,7 +748,7 @@ a: MyA = A(None, 10)
 reveal_type(a.a)  # N: Revealed type is "Union[builtins.int, None]"
 [builtins fixtures/tuple.pyi]
 
-[case testTypeVarDefaultAliasesTypeAliasType]
+[case testTypeVarConstraintsDefaultAliasesTypeAliasType]
 from typing_extensions import TypeAliasType, TypeVar
 
 K = TypeAliasType("K", int)
@@ -759,7 +759,7 @@ T2 = TypeVar("T2", str, K, default=V)
 T3 = TypeVar("T3", str, L, default=L)
 [builtins fixtures/tuple.pyi]
 
-[case testTypeVarDefaultAliasesImplicitAlias]
+[case testTypeVarConstraintsDefaultAliasesImplicitAlias]
 from typing_extensions import TypeVar
 
 K = int
@@ -770,7 +770,7 @@ T2 = TypeVar("T2", str, K, default=V)
 T3 = TypeVar("T3", str, L, default=L)
 [builtins fixtures/tuple.pyi]
 
-[case testTypeVarDefaultAliasesExplicitAlias]
+[case testTypeVarConstraintsDefaultAliasesExplicitAlias]
 from typing_extensions import TypeAlias, TypeVar
 
 K: TypeAlias = int
@@ -780,3 +780,40 @@ T1 = TypeVar("T1", str, K, default=K)
 T2 = TypeVar("T2", str, K, default=V)
 T3 = TypeVar("T3", str, L, default=L)
 [builtins fixtures/tuple.pyi]
+
+[case testTypeVarConstraintsDefaultSpecialTypes]
+from typing import NamedTuple
+from typing_extensions import TypedDict, TypeVar
+
+class TD(TypedDict):
+    foo: str
+
+class NT(NamedTuple):
+    foo: str
+
+T1 = TypeVar("T1", str, TD, default=TD)
+T2 = TypeVar("T2", str, NT, default=NT)
+[builtins fixtures/tuple.pyi]
+
+[case testTypeVarConstraintsDefaultSpecialTypesGeneric]
+from typing import Generic, NamedTuple
+from typing_extensions import TypedDict, TypeVar
+
+T = TypeVar("T")
+
+class TD(TypedDict, Generic[T]):
+    foo: T
+class TD2(TD[int]): pass
+class TD3(TD[int]):
+    bar: str
+
+class NT(NamedTuple, Generic[T]):
+    foo: T
+class NT2(NT[int]): pass
+
+T1 = TypeVar("T1", str, TD[int], default=TD[int])
+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
+[builtins fixtures/tuple.pyi]