basedpyright 1.31.5 → 1.31.6

package/dist/typeshed-fallback/stdlib/_io.pyi

@@ -43,11 +43,14 @@ from io import BufferedIOBase, RawIOBase, TextIOBase, UnsupportedOperation as Un
 from os import _Opener
 from types import TracebackType
 from typing import IO, Any, BinaryIO, Final, Generic, Literal, Protocol, TextIO, TypeVar, overload, type_check_only
-from typing_extensions import Self
+from typing_extensions import Self, disjoint_base
 
 _T = TypeVar("_T")
 
-DEFAULT_BUFFER_SIZE: Final = 8192
+if sys.version_info >= (3, 14):
+    DEFAULT_BUFFER_SIZE: Final = 131072
+else:
+    DEFAULT_BUFFER_SIZE: Final = 8192
 
 open = builtins.open
 
@@ -62,164 +65,194 @@ def open_code(path: str) -> IO[bytes]:
 
 BlockingIOError = builtins.BlockingIOError
 
-class _IOBase:
-    """
-    The abstract base class for all I/O classes.
-
-    This class provides dummy implementations for many methods that
-    derived classes can override selectively; the default implementations
-    represent a file that cannot be read, written or seeked.
-
-    Even though IOBase does not declare read, readinto, or write because
-    their signatures will vary, implementations and clients should
-    consider those methods part of the interface. Also, implementations
-    may raise UnsupportedOperation when operations they do not support are
-    called.
-
-    The basic type used for binary data read from or written to a file is
-    bytes. Other bytes-like objects are accepted as method arguments too.
-    In some cases (such as readinto), a writable object is required. Text
-    I/O classes work with str data.
-
-    Note that calling any method (except additional calls to close(),
-    which are ignored) on a closed stream should raise a ValueError.
-
-    IOBase (and its subclasses) support the iterator protocol, meaning
-    that an IOBase object can be iterated over yielding the lines in a
-    stream.
-
-    IOBase also supports the :keyword:`with` statement. In this example,
-    fp is closed after the suite of the with statement is complete:
-
-    with open('spam.txt', 'r') as fp:
-        fp.write('Spam and eggs!')
-    """
-    def __iter__(self) -> Iterator[bytes]:
-        """Implement iter(self)."""
-        ...
-    def __next__(self) -> bytes:
-        """Implement next(self)."""
-        ...
-    def __enter__(self) -> Self: ...
-    def __exit__(
-        self, exc_type: type[BaseException] | None, exc_val: BaseException | None, exc_tb: TracebackType | None
-    ) -> None: ...
-    def close(self) -> None:
-        """
-        Flush and close the IO object.
-
-        This method has no effect if the file is already closed.
-        """
-        ...
-    def fileno(self) -> int:
-        """
-        Return underlying file descriptor if one exists.
-
-        Raise OSError if the IO object does not use a file descriptor.
-        """
-        ...
-    def flush(self) -> None:
-        """
-        Flush write buffers, if applicable.
-
-        This is not implemented for read-only and non-blocking streams.
-        """
-        ...
-    def isatty(self) -> bool:
-        """
-        Return whether this is an 'interactive' stream.
-
-        Return False if it can't be determined.
-        """
-        ...
-    def readable(self) -> bool:
-        """
-        Return whether object was opened for reading.
-
-        If False, read() will raise OSError.
-        """
-        ...
-    read: Callable[..., Any]
-    def readlines(self, hint: int = -1, /) -> list[bytes]:
-        """
-        Return a list of lines from the stream.
-
-        hint can be specified to control the number of lines read: no more
-        lines will be read if the total size (in bytes/characters) of all
-        lines so far exceeds hint.
-        """
-        ...
-    def seek(self, offset: int, whence: int = 0, /) -> int:
-        """
-        Change the stream position to the given byte offset.
-
-          offset
-            The stream position, relative to 'whence'.
-          whence
-            The relative position to seek from.
-
-        The offset is interpreted relative to the position indicated by whence.
-        Values for whence are:
-
-        * os.SEEK_SET or 0 -- start of stream (the default); offset should be zero or positive
-        * os.SEEK_CUR or 1 -- current stream position; offset may be negative
-        * os.SEEK_END or 2 -- end of stream; offset is usually negative
-
-        Return the new absolute position.
-        """
-        ...
-    def seekable(self) -> bool:
-        """
-        Return whether object supports random access.
-
-        If False, seek(), tell() and truncate() will raise OSError.
-        This method may need to do a test seek().
-        """
-        ...
-    def tell(self) -> int:
-        """Return current stream position."""
-        ...
-    def truncate(self, size: int | None = None, /) -> int:
-        """
-        Truncate file to size bytes.
-
-        File pointer is left unchanged. Size defaults to the current IO position
-        as reported by tell(). Return the new size.
-        """
-        ...
-    def writable(self) -> bool:
-        """
-        Return whether object was opened for writing.
-
-        If False, write() will raise OSError.
-        """
-        ...
-    write: Callable[..., Any]
-    def writelines(self, lines: Iterable[ReadableBuffer], /) -> None:
-        """
-        Write a list of lines to stream.
-
-        Line separators are not added, so it is usual for each of the
-        lines provided to have a line separator at the end.
-        """
-        ...
-    def readline(self, size: int | None = -1, /) -> bytes:
-        r"""
-        Read and return a line from the stream.
-
-        If size is specified, at most size bytes will be read.
-
-        The line terminator is always b'\n' for binary files; for text
-        files, the newlines argument to open can be used to select the line
-        terminator(s) recognized.
-        """
-        ...
-    def __del__(self) -> None:
-        """Called when the instance is about to be destroyed."""
-        ...
-    @property
-    def closed(self) -> bool: ...
-    def _checkClosed(self) -> None: ...  # undocumented
+if sys.version_info >= (3, 12):
+    @disjoint_base
+    class _IOBase:
+        """
+        The abstract base class for all I/O classes.
+
+        This class provides dummy implementations for many methods that
+        derived classes can override selectively; the default implementations
+        represent a file that cannot be read, written or seeked.
+
+        Even though IOBase does not declare read, readinto, or write because
+        their signatures will vary, implementations and clients should
+        consider those methods part of the interface. Also, implementations
+        may raise UnsupportedOperation when operations they do not support are
+        called.
+
+        The basic type used for binary data read from or written to a file is
+        bytes. Other bytes-like objects are accepted as method arguments too.
+        In some cases (such as readinto), a writable object is required. Text
+        I/O classes work with str data.
+
+        Note that calling any method (except additional calls to close(),
+        which are ignored) on a closed stream should raise a ValueError.
+
+        IOBase (and its subclasses) support the iterator protocol, meaning
+        that an IOBase object can be iterated over yielding the lines in a
+        stream.
+
+        IOBase also supports the :keyword:`with` statement. In this example,
+        fp is closed after the suite of the with statement is complete:
+
+        with open('spam.txt', 'r') as fp:
+            fp.write('Spam and eggs!')
+        """
+        def __iter__(self) -> Iterator[bytes]:
+            """Implement iter(self)."""
+            ...
+        def __next__(self) -> bytes:
+            """Implement next(self)."""
+            ...
+        def __enter__(self) -> Self: ...
+        def __exit__(
+            self, exc_type: type[BaseException] | None, exc_val: BaseException | None, exc_tb: TracebackType | None
+        ) -> None: ...
+        def close(self) -> None:
+            """
+            Flush and close the IO object.
+
+            This method has no effect if the file is already closed.
+            """
+            ...
+        def fileno(self) -> int:
+            """
+            Return underlying file descriptor if one exists.
+
+            Raise OSError if the IO object does not use a file descriptor.
+            """
+            ...
+        def flush(self) -> None:
+            """
+            Flush write buffers, if applicable.
+
+            This is not implemented for read-only and non-blocking streams.
+            """
+            ...
+        def isatty(self) -> bool:
+            """
+            Return whether this is an 'interactive' stream.
+
+            Return False if it can't be determined.
+            """
+            ...
+        def readable(self) -> bool:
+            """
+            Return whether object was opened for reading.
+
+            If False, read() will raise OSError.
+            """
+            ...
+        read: Callable[..., Any]
+        def readlines(self, hint: int = -1, /) -> list[bytes]:
+            """
+            Return a list of lines from the stream.
+
+            hint can be specified to control the number of lines read: no more
+            lines will be read if the total size (in bytes/characters) of all
+            lines so far exceeds hint.
+            """
+            ...
+        def seek(self, offset: int, whence: int = 0, /) -> int:
+            """
+            Change the stream position to the given byte offset.
+
+              offset
+                The stream position, relative to 'whence'.
+              whence
+                The relative position to seek from.
+
+            The offset is interpreted relative to the position indicated by whence.
+            Values for whence are:
+
+            * os.SEEK_SET or 0 -- start of stream (the default); offset should be zero or positive
+            * os.SEEK_CUR or 1 -- current stream position; offset may be negative
+            * os.SEEK_END or 2 -- end of stream; offset is usually negative
+
+            Return the new absolute position.
+            """
+            ...
+        def seekable(self) -> bool:
+            """
+            Return whether object supports random access.
+
+            If False, seek(), tell() and truncate() will raise OSError.
+            This method may need to do a test seek().
+            """
+            ...
+        def tell(self) -> int:
+            """Return current stream position."""
+            ...
+        def truncate(self, size: int | None = None, /) -> int:
+            """
+            Truncate file to size bytes.
+
+            File pointer is left unchanged. Size defaults to the current IO position
+            as reported by tell(). Return the new size.
+            """
+            ...
+        def writable(self) -> bool:
+            """
+            Return whether object was opened for writing.
+
+            If False, write() will raise OSError.
+            """
+            ...
+        write: Callable[..., Any]
+        def writelines(self, lines: Iterable[ReadableBuffer], /) -> None:
+            """
+            Write a list of lines to stream.
+
+            Line separators are not added, so it is usual for each of the
+            lines provided to have a line separator at the end.
+            """
+            ...
+        def readline(self, size: int | None = -1, /) -> bytes:
+            r"""
+            Read and return a line from the stream.
+
+            If size is specified, at most size bytes will be read.
+
+            The line terminator is always b'\n' for binary files; for text
+            files, the newlines argument to open can be used to select the line
+            terminator(s) recognized.
+            """
+            ...
+        def __del__(self) -> None:
+            """Called when the instance is about to be destroyed."""
+            ...
+        @property
+        def closed(self) -> bool: ...
+        def _checkClosed(self) -> None: ...  # undocumented
+
+else:
+    class _IOBase:
+        def __iter__(self) -> Iterator[bytes]: ...
+        def __next__(self) -> bytes: ...
+        def __enter__(self) -> Self: ...
+        def __exit__(
+            self, exc_type: type[BaseException] | None, exc_val: BaseException | None, exc_tb: TracebackType | None
+        ) -> None: ...
+        def close(self) -> None: ...
+        def fileno(self) -> int: ...
+        def flush(self) -> None: ...
+        def isatty(self) -> bool: ...
+        def readable(self) -> bool: ...
+        read: Callable[..., Any]
+        def readlines(self, hint: int = -1, /) -> list[bytes]: ...
+        def seek(self, offset: int, whence: int = 0, /) -> int: ...
+        def seekable(self) -> bool: ...
+        def tell(self) -> int: ...
+        def truncate(self, size: int | None = None, /) -> int: ...
+        def writable(self) -> bool: ...
+        write: Callable[..., Any]
+        def writelines(self, lines: Iterable[ReadableBuffer], /) -> None: ...
+        def readline(self, size: int | None = -1, /) -> bytes: ...
+        def __del__(self) -> None: ...
+        @property
+        def closed(self) -> bool: ...
+        def _checkClosed(self) -> None: ...  # undocumented
 
 class _RawIOBase(_IOBase):
     """Base class for raw binary I/O."""
@@ -298,6 +331,7 @@ class _BufferedIOBase(_IOBase):
         """
         ...
 
+@disjoint_base
 class FileIO(RawIOBase, _RawIOBase, BinaryIO):  # type: ignore[misc]  # incompatible definitions of writelines in the base classes
     """
     Open a file.
@@ -349,6 +383,7 @@ class FileIO(RawIOBase, _RawIOBase, BinaryIO):  # type: ignore[misc]  # incompat
         """
         ...
 
+@disjoint_base
 class BytesIO(BufferedIOBase, _BufferedIOBase, BinaryIO):  # type: ignore[misc]  # incompatible definitions of methods in the base classes
     """Buffered I/O implementation using an in-memory bytes buffer."""
     def __init__(self, initial_bytes: ReadableBuffer = b"") -> None: ...
@@ -419,14 +454,20 @@ class _BufferedReaderStream(Protocol):
 
 _BufferedReaderStreamT = TypeVar("_BufferedReaderStreamT", bound=_BufferedReaderStream, default=_BufferedReaderStream)
 
+@disjoint_base
 class BufferedReader(BufferedIOBase, _BufferedIOBase, BinaryIO, Generic[_BufferedReaderStreamT]):  # type: ignore[misc]  # incompatible definitions of methods in the base classes
     """Create a new buffered reader using the given readable raw IO object."""
     raw: _BufferedReaderStreamT
-    def __init__(self, raw: _BufferedReaderStreamT, buffer_size: int = 8192) -> None: ...
+    if sys.version_info >= (3, 14):
+        def __init__(self, raw: _BufferedReaderStreamT, buffer_size: int = 131072) -> None: ...
+    else:
+        def __init__(self, raw: _BufferedReaderStreamT, buffer_size: int = 8192) -> None: ...
+
     def peek(self, size: int = 0, /) -> bytes: ...
     def seek(self, target: int, whence: int = 0, /) -> int: ...
     def truncate(self, pos: int | None = None, /) -> int: ...
 
+@disjoint_base
 class BufferedWriter(BufferedIOBase, _BufferedIOBase, BinaryIO):  # type: ignore[misc]  # incompatible definitions of writelines in the base classes
     """
     A buffer for a writeable sequential RawIO object.
@@ -436,11 +477,16 @@ class BufferedWriter(BufferedIOBase, _BufferedIOBase, BinaryIO):  # type: ignore
     DEFAULT_BUFFER_SIZE.
     """
     raw: RawIOBase
-    def __init__(self, raw: RawIOBase, buffer_size: int = 8192) -> None: ...
+    if sys.version_info >= (3, 14):
+        def __init__(self, raw: RawIOBase, buffer_size: int = 131072) -> None: ...
+    else:
+        def __init__(self, raw: RawIOBase, buffer_size: int = 8192) -> None: ...
+
     def write(self, buffer: ReadableBuffer, /) -> int: ...
     def seek(self, target: int, whence: int = 0, /) -> int: ...
     def truncate(self, pos: int | None = None, /) -> int: ...
 
+@disjoint_base
 class BufferedRandom(BufferedIOBase, _BufferedIOBase, BinaryIO):  # type: ignore[misc]  # incompatible definitions of methods in the base classes
     """
     A buffered interface to random access streams.
@@ -452,11 +498,16 @@ class BufferedRandom(BufferedIOBase, _BufferedIOBase, BinaryIO):  # type: ignore
     mode: str
     name: Any
     raw: RawIOBase
-    def __init__(self, raw: RawIOBase, buffer_size: int = 8192) -> None: ...
+    if sys.version_info >= (3, 14):
+        def __init__(self, raw: RawIOBase, buffer_size: int = 131072) -> None: ...
+    else:
+        def __init__(self, raw: RawIOBase, buffer_size: int = 8192) -> None: ...
+
     def seek(self, target: int, whence: int = 0, /) -> int: ...  # stubtest needs this
     def peek(self, size: int = 0, /) -> bytes: ...
     def truncate(self, pos: int | None = None, /) -> int: ...
 
+@disjoint_base
 class BufferedRWPair(BufferedIOBase, _BufferedIOBase, Generic[_BufferedReaderStreamT]):
     """
     A buffered reader and writer object together.
@@ -469,7 +520,11 @@ class BufferedRWPair(BufferedIOBase, _BufferedIOBase, Generic[_BufferedReaderStr
     writeable respectively. If the buffer_size is omitted it defaults to
     DEFAULT_BUFFER_SIZE.
     """
-    def __init__(self, reader: _BufferedReaderStreamT, writer: RawIOBase, buffer_size: int = 8192, /) -> None: ...
+    if sys.version_info >= (3, 14):
+        def __init__(self, reader: _BufferedReaderStreamT, writer: RawIOBase, buffer_size: int = 131072, /) -> None: ...
+    else:
+        def __init__(self, reader: _BufferedReaderStreamT, writer: RawIOBase, buffer_size: int = 8192, /) -> None: ...
+
     def peek(self, size: int = 0, /) -> bytes: ...
 
 class _TextIOBase(_IOBase):
@@ -563,6 +618,7 @@ class _WrappedBuffer(Protocol):
 
 _BufferT_co = TypeVar("_BufferT_co", bound=_WrappedBuffer, default=_WrappedBuffer, covariant=True)
 
+@disjoint_base
 class TextIOWrapper(TextIOBase, _TextIOBase, TextIO, Generic[_BufferT_co]):  # type: ignore[misc]  # incompatible definitions of write in the base classes
     r"""
     Character and line based layer over a BufferedIOBase object, buffer.
@@ -654,6 +710,7 @@ class TextIOWrapper(TextIOBase, _TextIOBase, TextIO, Generic[_BufferT_co]):  # t
         ...
     def truncate(self, pos: int | None = None, /) -> int: ...
 
+@disjoint_base
 class StringIO(TextIOBase, _TextIOBase, TextIO):  # type: ignore[misc]  # incompatible definitions of write in the base classes
     """
     Text I/O implementation using an in-memory buffer.
@@ -692,6 +749,7 @@ class StringIO(TextIOBase, _TextIOBase, TextIO):  # type: ignore[misc]  # incomp
         """
         ...
 
+@disjoint_base
 class IncrementalNewlineDecoder:
     r"""
     Codec used when reading a file in universal newlines mode.

package/dist/typeshed-fallback/stdlib/_lsprof.pyi

@@ -5,7 +5,9 @@ from _typeshed import structseq
 from collections.abc import Callable
 from types import CodeType
 from typing import Any, Final, final
+from typing_extensions import disjoint_base
 
+@disjoint_base
 class Profiler:
     """
     Profiler(timer=None, timeunit=None, subcalls=True, builtins=True)

package/dist/typeshed-fallback/stdlib/_lzma.pyi

@@ -16,7 +16,7 @@ CHECK_CRC64: Final = 4
 CHECK_SHA256: Final = 10
 CHECK_ID_MAX: Final = 15
 CHECK_UNKNOWN: Final = 16
-FILTER_LZMA1: int  # v big number
+FILTER_LZMA1: Final[int]  # v big number
 FILTER_LZMA2: Final = 33
 FILTER_DELTA: Final = 3
 FILTER_X86: Final = 4
@@ -33,7 +33,7 @@ MF_BT4: Final = 20
 MODE_FAST: Final = 1
 MODE_NORMAL: Final = 2
 PRESET_DEFAULT: Final = 6
-PRESET_EXTREME: int  # v big number
+PRESET_EXTREME: Final[int]  # v big number
 
 @final
 class LZMADecompressor:
@@ -58,9 +58,9 @@ class LZMADecompressor:
     For one-shot decompression, use the decompress() function instead.
     """
     if sys.version_info >= (3, 12):
-        def __new__(cls, format: int | None = ..., memlimit: int | None = ..., filters: _FilterChain | None = ...) -> Self: ...
+        def __new__(cls, format: int = 0, memlimit: int | None = None, filters: _FilterChain | None = None) -> Self: ...
     else:
-        def __init__(self, format: int | None = ..., memlimit: int | None = ..., filters: _FilterChain | None = ...) -> None: ...
+        def __init__(self, format: int = 0, memlimit: int | None = None, filters: _FilterChain | None = None) -> None: ...
 
     def decompress(self, data: ReadableBuffer, max_length: int = -1) -> bytes:
         """
@@ -129,11 +129,11 @@ class LZMACompressor:
     """
     if sys.version_info >= (3, 12):
         def __new__(
-            cls, format: int | None = ..., check: int = ..., preset: int | None = ..., filters: _FilterChain | None = ...
+            cls, format: int = 1, check: int = -1, preset: int | None = None, filters: _FilterChain | None = None
         ) -> Self: ...
     else:
         def __init__(
-            self, format: int | None = ..., check: int = ..., preset: int | None = ..., filters: _FilterChain | None = ...
+            self, format: int = 1, check: int = -1, preset: int | None = None, filters: _FilterChain | None = None
         ) -> None: ...
 
     def compress(self, data: ReadableBuffer, /) -> bytes:

package/dist/typeshed-fallback/stdlib/_msi.pyi

@@ -1,5 +1,5 @@
 import sys
-from typing import type_check_only
+from typing import Final, type_check_only
 
 if sys.platform == "win32":
     class MSIError(Exception): ...
@@ -56,42 +56,42 @@ if sys.platform == "win32":
     def OpenDatabase(path: str, persist: int, /) -> _Database: ...
     def CreateRecord(count: int, /) -> _Record: ...
 
-    MSICOLINFO_NAMES: int
-    MSICOLINFO_TYPES: int
-    MSIDBOPEN_CREATE: int
-    MSIDBOPEN_CREATEDIRECT: int
-    MSIDBOPEN_DIRECT: int
-    MSIDBOPEN_PATCHFILE: int
-    MSIDBOPEN_READONLY: int
-    MSIDBOPEN_TRANSACT: int
-    MSIMODIFY_ASSIGN: int
-    MSIMODIFY_DELETE: int
-    MSIMODIFY_INSERT: int
-    MSIMODIFY_INSERT_TEMPORARY: int
-    MSIMODIFY_MERGE: int
-    MSIMODIFY_REFRESH: int
-    MSIMODIFY_REPLACE: int
-    MSIMODIFY_SEEK: int
-    MSIMODIFY_UPDATE: int
-    MSIMODIFY_VALIDATE: int
-    MSIMODIFY_VALIDATE_DELETE: int
-    MSIMODIFY_VALIDATE_FIELD: int
-    MSIMODIFY_VALIDATE_NEW: int
+    MSICOLINFO_NAMES: Final[int]
+    MSICOLINFO_TYPES: Final[int]
+    MSIDBOPEN_CREATE: Final[int]
+    MSIDBOPEN_CREATEDIRECT: Final[int]
+    MSIDBOPEN_DIRECT: Final[int]
+    MSIDBOPEN_PATCHFILE: Final[int]
+    MSIDBOPEN_READONLY: Final[int]
+    MSIDBOPEN_TRANSACT: Final[int]
+    MSIMODIFY_ASSIGN: Final[int]
+    MSIMODIFY_DELETE: Final[int]
+    MSIMODIFY_INSERT: Final[int]
+    MSIMODIFY_INSERT_TEMPORARY: Final[int]
+    MSIMODIFY_MERGE: Final[int]
+    MSIMODIFY_REFRESH: Final[int]
+    MSIMODIFY_REPLACE: Final[int]
+    MSIMODIFY_SEEK: Final[int]
+    MSIMODIFY_UPDATE: Final[int]
+    MSIMODIFY_VALIDATE: Final[int]
+    MSIMODIFY_VALIDATE_DELETE: Final[int]
+    MSIMODIFY_VALIDATE_FIELD: Final[int]
+    MSIMODIFY_VALIDATE_NEW: Final[int]
 
-    PID_APPNAME: int
-    PID_AUTHOR: int
-    PID_CHARCOUNT: int
-    PID_CODEPAGE: int
-    PID_COMMENTS: int
-    PID_CREATE_DTM: int
-    PID_KEYWORDS: int
-    PID_LASTAUTHOR: int
-    PID_LASTPRINTED: int
-    PID_LASTSAVE_DTM: int
-    PID_PAGECOUNT: int
-    PID_REVNUMBER: int
-    PID_SECURITY: int
-    PID_SUBJECT: int
-    PID_TEMPLATE: int
-    PID_TITLE: int
-    PID_WORDCOUNT: int
+    PID_APPNAME: Final[int]
+    PID_AUTHOR: Final[int]
+    PID_CHARCOUNT: Final[int]
+    PID_CODEPAGE: Final[int]
+    PID_COMMENTS: Final[int]
+    PID_CREATE_DTM: Final[int]
+    PID_KEYWORDS: Final[int]
+    PID_LASTAUTHOR: Final[int]
+    PID_LASTPRINTED: Final[int]
+    PID_LASTSAVE_DTM: Final[int]
+    PID_PAGECOUNT: Final[int]
+    PID_REVNUMBER: Final[int]
+    PID_SECURITY: Final[int]
+    PID_SUBJECT: Final[int]
+    PID_TEMPLATE: Final[int]
+    PID_TITLE: Final[int]
+    PID_WORDCOUNT: Final[int]