1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
|
-- Test cases for generic aliases
[case testGenericBuiltinFutureAnnotations]
from __future__ import annotations
t1: list
t2: list[int]
t3: list[str]
t4: tuple
t5: tuple[int]
t6: tuple[int, str]
t7: tuple[int, ...]
t8: dict = {}
t9: dict[int, str]
t10: type
t11: type[int]
[builtins fixtures/dict.pyi]
[case testGenericCollectionsFutureAnnotations]
from __future__ import annotations
import collections
t01: collections.deque
t02: collections.deque[int]
t03: collections.defaultdict
t04: collections.defaultdict[int, str]
t05: collections.OrderedDict
t06: collections.OrderedDict[int, str]
t07: collections.Counter
t08: collections.Counter[int]
t09: collections.ChainMap
t10: collections.ChainMap[int, str]
[builtins fixtures/tuple.pyi]
[case testGenericAliasBuiltinsReveal]
t1: list
t2: list[int]
t3: list[str]
t4: tuple
t5: tuple[int]
t6: tuple[int, str]
t7: tuple[int, ...]
t8: dict = {}
t9: dict[int, str]
t10: type
t11: type[int]
reveal_type(t1) # N: Revealed type is "builtins.list[Any]"
reveal_type(t2) # N: Revealed type is "builtins.list[builtins.int]"
reveal_type(t3) # N: Revealed type is "builtins.list[builtins.str]"
reveal_type(t4) # N: Revealed type is "builtins.tuple[Any, ...]"
# TODO: ideally these would reveal builtins.tuple
reveal_type(t5) # N: Revealed type is "tuple[builtins.int]"
reveal_type(t6) # N: Revealed type is "tuple[builtins.int, builtins.str]"
# TODO: this is incorrect, see #9522
reveal_type(t7) # N: Revealed type is "builtins.tuple[builtins.int, ...]"
reveal_type(t8) # N: Revealed type is "builtins.dict[Any, Any]"
reveal_type(t9) # N: Revealed type is "builtins.dict[builtins.int, builtins.str]"
reveal_type(t10) # N: Revealed type is "builtins.type"
reveal_type(t11) # N: Revealed type is "type[builtins.int]"
[builtins fixtures/dict.pyi]
[case testGenericAliasBuiltinsSetReveal]
t1: set
t2: set[int]
t3: set[str]
reveal_type(t1) # N: Revealed type is "builtins.set[Any]"
reveal_type(t2) # N: Revealed type is "builtins.set[builtins.int]"
reveal_type(t3) # N: Revealed type is "builtins.set[builtins.str]"
[builtins fixtures/set.pyi]
[case testGenericAliasCollectionsReveal]
import collections
t1: collections.deque[int]
t2: collections.defaultdict[int, str]
t3: collections.OrderedDict[int, str]
t4: collections.Counter[int]
t5: collections.ChainMap[int, str]
reveal_type(t1) # N: Revealed type is "collections.deque[builtins.int]"
reveal_type(t2) # N: Revealed type is "collections.defaultdict[builtins.int, builtins.str]"
reveal_type(t3) # N: Revealed type is "collections.OrderedDict[builtins.int, builtins.str]"
reveal_type(t4) # N: Revealed type is "collections.Counter[builtins.int]"
reveal_type(t5) # N: Revealed type is "collections.ChainMap[builtins.int, builtins.str]"
[builtins fixtures/tuple.pyi]
[case testGenericAliasCollectionsABCReveal]
import collections.abc
t01: collections.abc.Awaitable[int]
t02: collections.abc.Coroutine[str, int, float]
t03: collections.abc.AsyncIterable[int]
t04: collections.abc.AsyncIterator[int]
t05: collections.abc.AsyncGenerator[int, float]
t06: collections.abc.Iterable[int]
t07: collections.abc.Iterator[int]
t08: collections.abc.Generator[int, float, str]
t09: collections.abc.Reversible[int]
t10: collections.abc.Container[int]
t11: collections.abc.Collection[int]
t12: collections.abc.Callable[[int], float]
t13: collections.abc.Set[int]
t14: collections.abc.MutableSet[int]
t15: collections.abc.Mapping[int, str]
t16: collections.abc.MutableMapping[int, str]
t17: collections.abc.Sequence[int]
t18: collections.abc.MutableSequence[int]
t19: collections.abc.ByteString
t20: collections.abc.MappingView[int, int]
t21: collections.abc.KeysView[int]
t22: collections.abc.ItemsView[int, str]
t23: collections.abc.ValuesView[str]
# TODO: these currently reveal the classes from typing, see #7907
# reveal_type(t01) # Nx Revealed type is "collections.abc.Awaitable[builtins.int]"
# reveal_type(t02) # Nx Revealed type is "collections.abc.Coroutine[builtins.str, builtins.int, builtins.float]"
# reveal_type(t03) # Nx Revealed type is "collections.abc.AsyncIterable[builtins.int]"
# reveal_type(t04) # Nx Revealed type is "collections.abc.AsyncIterator[builtins.int]"
# reveal_type(t05) # Nx Revealed type is "collections.abc.AsyncGenerator[builtins.int, builtins.float]"
# reveal_type(t06) # Nx Revealed type is "collections.abc.Iterable[builtins.int]"
# reveal_type(t07) # Nx Revealed type is "collections.abc.Iterator[builtins.int]"
# reveal_type(t08) # Nx Revealed type is "collections.abc.Generator[builtins.int, builtins.float, builtins.str]"
# reveal_type(t09) # Nx Revealed type is "collections.abc.Reversible[builtins.int]"
# reveal_type(t10) # Nx Revealed type is "collections.abc.Container[builtins.int]"
# reveal_type(t11) # Nx Revealed type is "collections.abc.Collection[builtins.int]"
# reveal_type(t12) # Nx Revealed type is "collections.abc.Callable[[builtins.int], builtins.float]"
# reveal_type(t13) # Nx Revealed type is "collections.abc.Set[builtins.int]"
# reveal_type(t14) # Nx Revealed type is "collections.abc.MutableSet[builtins.int]"
# reveal_type(t15) # Nx Revealed type is "collections.abc.Mapping[builtins.int, builtins.str]"
# reveal_type(t16) # Nx Revealed type is "collections.abc.MutableMapping[builtins.int, builtins.str]"
# reveal_type(t17) # Nx Revealed type is "collections.abc.Sequence[builtins.int]"
# reveal_type(t18) # Nx Revealed type is "collections.abc.MutableSequence[builtins.int]"
# reveal_type(t19) # Nx Revealed type is "collections.abc.ByteString"
# reveal_type(t20) # Nx Revealed type is "collections.abc.MappingView[builtins.int, builtins.int]"
# reveal_type(t21) # Nx Revealed type is "collections.abc.KeysView[builtins.int]"
# reveal_type(t22) # Nx Revealed type is "collections.abc.ItemsView[builtins.int, builtins.str]"
# reveal_type(t23) # Nx Revealed type is "collections.abc.ValuesView[builtins.str]"
[builtins fixtures/tuple.pyi]
[case testGenericAliasIsinstanceUnreachable]
# flags: --warn-unreachable --python-version 3.10
from collections.abc import Iterable
class A: ...
def test(dependencies: list[A] | None) -> None:
if dependencies is None:
dependencies = []
elif not isinstance(dependencies, Iterable):
dependencies = [dependencies] # E: Statement is unreachable
[builtins fixtures/isinstancelist.pyi]
[typing fixtures/typing-full.pyi]
[case testGenericAliasRedundantExprCompoundIfExpr]
# flags: --warn-unreachable --enable-error-code=redundant-expr --python-version 3.10
from typing import Any, reveal_type
from collections.abc import Iterable
def test_example(x: Iterable[Any]) -> None:
if isinstance(x, Iterable) and not isinstance(x, str): # E: Left operand of "and" is always true
reveal_type(x) # N: Revealed type is "typing.Iterable[Any]"
def test_counterexample(x: Any) -> None:
if isinstance(x, Iterable) and not isinstance(x, str):
reveal_type(x) # N: Revealed type is "typing.Iterable[Any]"
[builtins fixtures/isinstancelist.pyi]
[typing fixtures/typing-full.pyi]
[case testGenericBuiltinTupleTyping]
from typing import Tuple
t01: Tuple = ()
t02: Tuple[int] = (1, )
t03: Tuple[int, str] = (1, 'a')
t04: Tuple[int, int] = (1, 2)
t05: Tuple[int, int, int] = (1, 2, 3)
t06: Tuple[int, ...]
t07: Tuple[int, ...] = (1,)
t08: Tuple[int, ...] = (1, 2)
t09: Tuple[int, ...] = (1, 2, 3)
[builtins fixtures/tuple.pyi]
[case testGenericBuiltinTuple]
t01: tuple = ()
t02: tuple[int] = (1, )
t03: tuple[int, str] = (1, 'a')
t04: tuple[int, int] = (1, 2)
t05: tuple[int, int, int] = (1, 2, 3)
t06: tuple[int, ...]
t07: tuple[int, ...] = (1,)
t08: tuple[int, ...] = (1, 2)
t09: tuple[int, ...] = (1, 2, 3)
from typing import Tuple
t10: Tuple[int, ...] = t09
[builtins fixtures/tuple.pyi]
[case testTypeAliasWithBuiltinTuple]
A = tuple[int, ...]
a: A = ()
b: A = (1, 2, 3)
c: A = ('x', 'y') # E: Incompatible types in assignment (expression has type "tuple[str, str]", variable has type "tuple[int, ...]")
B = tuple[int, str]
x: B = (1, 'x')
y: B = ('x', 1) # E: Incompatible types in assignment (expression has type "tuple[str, int]", variable has type "tuple[int, str]")
reveal_type(tuple[int, ...]()) # N: Revealed type is "builtins.tuple[builtins.int, ...]"
[builtins fixtures/tuple.pyi]
[case testTypeAliasWithBuiltinTupleInStub]
import m
reveal_type(m.a) # N: Revealed type is "builtins.tuple[builtins.int, ...]"
reveal_type(m.b) # N: Revealed type is "tuple[builtins.int, builtins.str]"
[file m.pyi]
A = tuple[int, ...]
a: A
B = tuple[int, str]
b: B
[builtins fixtures/tuple.pyi]
[case testTypeAliasWithBuiltinListInStub]
import m
reveal_type(m.a) # N: Revealed type is "builtins.list[builtins.int]"
reveal_type(m.b) # N: Revealed type is "builtins.list[builtins.list[builtins.int]]"
m.C # has complex representation, ignored
reveal_type(m.d) # N: Revealed type is "type[builtins.str]"
[file m.pyi]
A = list[int]
a: A
B = list[list[int]]
b: B
class C(list[int]):
pass
d: type[str]
[builtins fixtures/list.pyi]
[case testTypeAliasWithBuiltinListAliasInStub]
import m
reveal_type(m.a()[0]) # N: Revealed type is "builtins.int"
[file m.pyi]
List = list
a = List[int]
[builtins fixtures/list.pyi]
|
