mirror of
https://github.com/davidhalter/typeshed.git
synced 2026-07-31 13:10:23 +08:00
Make BufferedReader generic over a protocol (#13533)
This commit is contained in:
@@ -1,7 +1,10 @@
|
||||
from _io import BufferedReader
|
||||
from gzip import GzipFile
|
||||
from io import FileIO, TextIOWrapper
|
||||
from io import FileIO, RawIOBase, TextIOWrapper
|
||||
from typing_extensions import assert_type
|
||||
|
||||
BufferedReader(RawIOBase())
|
||||
|
||||
assert_type(TextIOWrapper(FileIO("")).buffer, FileIO)
|
||||
assert_type(TextIOWrapper(FileIO(13)).detach(), FileIO)
|
||||
assert_type(TextIOWrapper(GzipFile("")).buffer, GzipFile)
|
||||
|
||||
Reference in New Issue
Block a user