Fix

python · max-muoto · Jun 16, 2025 · Jun 16, 2025 · Jun 16, 2025 · Jun 16, 2025
commit d40fc6c8e30b39d9a28afd8d8b6172b751e315a9
diff --git a/stdlib/codecs.pyi b/stdlib/codecs.pyi
@@ -1,4 +1,3 @@
-import sys
 import types
 from _codecs import *
 from _typeshed import ReadableBuffer
@@ -150,12 +149,10 @@ def getincrementaldecoder(encoding: _BufferedEncoding) -> _BufferedIncrementalDe
 def getincrementaldecoder(encoding: str) -> _IncrementalDecoder: ...
 def getreader(encoding: str) -> _StreamReader: ...
 def getwriter(encoding: str) -> _StreamWriter: ...
-
 @deprecated("codecs.open() is deprecated. Use open() instead.")
 def open(
     filename: str, mode: str = "r", encoding: str | None = None, errors: str = "strict", buffering: int = -1
 ) -> StreamReaderWriter: ...
-
 def EncodedFile(file: _Stream, data_encoding: str, file_encoding: str | None = None, errors: str = "strict") -> StreamRecoder: ...
 def iterencode(iterator: Iterable[str], encoding: str, errors: str = "strict") -> Generator[bytes, None, None]: ...
 def iterdecode(iterator: Iterable[bytes], encoding: str, errors: str = "strict") -> Generator[str, None, None]: ...