@@ -1219,56 +1219,6 @@ td4 = C({"fn": bad, "val": False}) # E: Incompatible types (expression has type
12191219[builtins fixtures/dict.pyi]
12201220[typing fixtures/typing-typeddict.pyi]
12211221
1222- [case testVariadicTypedDictDeriveStar]
1223- from typing import Tuple, Callable, Generic, TypedDict, TypeVar
1224- from typing_extensions import TypeVarTuple
1225-
1226- T = TypeVar("T")
1227- Ts = TypeVarTuple("Ts")
1228- class A(TypedDict, Generic[*Ts]):
1229- fn: Callable[[*Ts], None]
1230-
1231- class B(A[*Ts]):
1232- val: bool
1233-
1234- class C(A[*Ts], Generic[*Ts, T]):
1235- val: T
1236-
1237-
1238- y: B[int, str]
1239- reveal_type(y) # N: Revealed type is "TypedDict('__main__.B', {'fn': def (builtins.int, builtins.str), 'val': builtins.bool})"
1240- reveal_type(y["fn"]) # N: Revealed type is "def (builtins.int, builtins.str)"
1241- reveal_type(y["val"]) # N: Revealed type is "builtins.bool"
1242-
1243- y2: C[int, str, bool]
1244- reveal_type(y2) # N: Revealed type is "TypedDict('__main__.C', {'fn': def (builtins.int, builtins.str), 'val': builtins.bool})"
1245- reveal_type(y2["fn"]) # N: Revealed type is "def (builtins.int, builtins.str)"
1246- reveal_type(y2["val"]) # N: Revealed type is "builtins.bool"
1247-
1248- z: B[*Tuple[int, ...]]
1249- reveal_type(z) # N: Revealed type is "TypedDict('__main__.B', {'fn': def (*builtins.int), 'val': builtins.bool})"
1250- reveal_type(z["fn"]) # N: Revealed type is "def (*builtins.int)"
1251- reveal_type(y["val"]) # N: Revealed type is "builtins.bool"
1252-
1253- z2: C[*Tuple[int, ...]]
1254- reveal_type(z2) # N: Revealed type is "TypedDict('__main__.C', {'fn': def (*builtins.int), 'val': builtins.int})"
1255- reveal_type(z2["fn"]) # N: Revealed type is "def (*builtins.int)"
1256- reveal_type(z2["val"]) # N: Revealed type is "builtins.int"
1257-
1258- z3: C[*Tuple[int, ...], bool]
1259- reveal_type(z3) # N: Revealed type is "TypedDict('__main__.C', {'fn': def (*builtins.int), 'val': builtins.bool})"
1260- reveal_type(z3["fn"]) # N: Revealed type is "def (*builtins.int)"
1261- reveal_type(z3["val"]) # N: Revealed type is "builtins.bool"
1262-
1263- t: B[int, *Tuple[int, str]]
1264- reveal_type(t) # N: Revealed type is "TypedDict('__main__.B', {'fn': def (builtins.int, builtins.int, builtins.str), 'val': builtins.bool})"
1265-
1266- t2: C[int, *Tuple[int, str]]
1267- reveal_type(t2) # N: Revealed type is "TypedDict('__main__.C', {'fn': def (builtins.int, builtins.int), 'val': builtins.str})"
1268-
1269- [builtins fixtures/dict.pyi]
1270- [typing fixtures/typing-typeddict.pyi]
1271-
12721222[case testFixedUnpackWithRegularInstance]
12731223from typing import Tuple, Generic, TypeVar
12741224from typing_extensions import Unpack
0 commit comments