We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent b9823f6 commit c1f3b1eCopy full SHA for c1f3b1e
test-data/unit/check-python312.test
@@ -2237,3 +2237,14 @@ class D[*Ts](Generic[Unpack[Us]]): # E: Generic[...] base class is redundant \
2237
# E: Can only use one type var tuple in a class def
2238
pass
2239
[builtins fixtures/tuple.pyi]
2240
+
2241
+[case testPep695GenericTypeAliasReassignment]
2242
+from typing import reveal_type
2243
2244
+type A[T] = T | str
2245
+B = A
2246
+reveal_type(B)
2247
+[out]
2248
+main:5: note: Revealed type is "typing.TypeAliasType"
2249
+[builtins fixtures/tuple.pyi]
2250
+[typing fixtures/typing-full.pyi]
0 commit comments