@@ -283,7 +283,7 @@ f.write('x')
283
283
f.write(b'x')
284
284
f.foobar()
285
285
[out]
286
- _program.py:3: error: Argument 1 to "write" of "TextIOBase " has incompatible type "bytes"; expected "str"
286
+ _program.py:3: error: Argument 1 to "write" of "_TextIOBase " has incompatible type "bytes"; expected "str"
287
287
_program.py:4: error: "TextIOWrapper[_WrappedBuffer]" has no attribute "foobar"
288
288
289
289
[case testOpenReturnTypeInference]
@@ -293,9 +293,9 @@ reveal_type(open('x', 'rb'))
293
293
mode = 'rb'
294
294
reveal_type(open('x', mode))
295
295
[out]
296
- _program.py:1: note: Revealed type is "io .TextIOWrapper[io ._WrappedBuffer]"
297
- _program.py:2: note: Revealed type is "io .TextIOWrapper[io ._WrappedBuffer]"
298
- _program.py:3: note: Revealed type is "io .BufferedReader"
296
+ _program.py:1: note: Revealed type is "_io .TextIOWrapper[_io ._WrappedBuffer]"
297
+ _program.py:2: note: Revealed type is "_io .TextIOWrapper[_io ._WrappedBuffer]"
298
+ _program.py:3: note: Revealed type is "_io .BufferedReader"
299
299
<
8000
code class="diff-text syntax-highlighted-line">_program.py:5: note: Revealed type is "typing.IO[Any]"
300
300
301
301
[case testOpenReturnTypeInferenceSpecialCases]
@@ -304,8 +304,8 @@ reveal_type(open(file='x', mode='rb'))
304
304
mode = 'rb'
305
305
reveal_type(open(mode=mode, file='r'))
306
306
[out]
307
- _testOpenReturnTypeInferenceSpecialCases.py:1: note: Revealed type is "io .BufferedReader"
308
- _testOpenReturnTypeInferenceSpecialCases.py:2: note: Revealed type is "io .BufferedReader"
307
+ _testOpenReturnTypeInferenceSpecialCases.py:1: note: Revealed type is "_io .BufferedReader"
308
+ _testOpenReturnTypeInferenceSpecialCases.py:2: note: Revealed type is "_io .BufferedReader"
309
309
_testOpenReturnTypeInferenceSpecialCases.py:4: note: Revealed type is "typing.IO[Any]"
310
310
311
311
[case testPathOpenReturnTypeInference]
@@ -317,9 +317,9 @@ reveal_type(p.open('rb'))
317
317
mode = 'rb'
318
318
reveal_type(p.open(mode))
319
319
[out]
320
- _program.py:3: note: Revealed type is "io .TextIOWrapper[io ._WrappedBuffer]"
321
- _program.py:4: note: Revealed type is "io .TextIOWrapper[io ._WrappedBuffer]"
322
- _program.py:5: note: Revealed type is "io .BufferedReader"
320
+ _program.py:3: note: Revealed type is "_io .TextIOWrapper[_io ._WrappedBuffer]"
321
+ _program.py:4: note: Revealed type is "_io .TextIOWrapper[_io ._WrappedBuffer]"
322
+ _program.py:5: note: Revealed type is "_io .BufferedReader"
323
323
_program.py:7: note: Revealed type is "typing.IO[Any]"
324
324
325
325
[case testPathOpenReturnTypeInferenceSpecialCases]
@@ -330,8 +330,8 @@ reveal_type(p.open(errors='replace', mode='r'))
330
330
mode = 'r'
331
331
reveal_type(p.open(mode=mode, errors='replace'))
332
332
[out]
333
- _program.py:3: note: Revealed type is "io .TextIOWrapper[io ._WrappedBuffer]"
334
- _program.py:4: note: Revealed type is "io .TextIOWrapper[io ._WrappedBuffer]"
333
+ _program.py:3: note: Revealed type is "_io .TextIOWrapper[_io ._WrappedBuffer]"
334
+ _program.py:4: note: Revealed type is "_io .TextIOWrapper[_io ._WrappedBuffer]"
335
335
_program.py:6: note: Revealed type is "typing.IO[Any]"
336
336
337
337
[case testGenericPatterns]
0 commit comments