[ty] Sync vendored typeshed stubs (#24646)

Co-authored-by: typeshedbot <>

Author: github-actions[bot]

crates/ty_vendored/vendor/typeshed/source_commit.txt

@@ -1 +1 @@
-c5e47faeda2cf9d233f91bc1dc95814b0cc7ccba
+c03c2b926422c82ab680d27f3ad2491845000802

crates/ty_vendored/vendor/typeshed/stdlib/_codecs.pyi

@@ -119,7 +119,9 @@ def ascii_decode(data: ReadableBuffer, errors: str | None = None, /) -> tuple[st
 def ascii_encode(str: str, errors: str | None = None, /) -> tuple[bytes, int]: ...
 def charmap_decode(data: ReadableBuffer, errors: str | None = None, mapping: _CharMap | None = None, /) -> tuple[str, int]: ...
 def charmap_encode(str: str, errors: str | None = None, mapping: _CharMap | None = None, /) -> tuple[bytes, int]: ...
-def escape_decode(data: str | ReadableBuffer, errors: str | None = None, /) -> tuple[str, int]: ...
+
+# Docs say this accepts a bytes-like object, but in practice it also accepts str.
+def escape_decode(data: str | ReadableBuffer, errors: str | None = None, /) -> tuple[bytes, int]: ...
 def escape_encode(data: bytes, errors: str | None = None, /) -> tuple[bytes, int]: ...
 def latin_1_decode(data: ReadableBuffer, errors: str | None = None, /) -> tuple[str, int]: ...
 def latin_1_encode(str: str, errors: str | None = None, /) -> tuple[bytes, int]: ...

crates/ty_vendored/vendor/typeshed/stdlib/_operator.pyi

@@ -8,7 +8,17 @@ used for special methods; variants without leading and trailing
 """
 
 import sys
-from _typeshed import SupportsGetItem
+from _typeshed import (
+    SupportsAdd,
+    SupportsGetItem,
+    SupportsMod,
+    SupportsMul,
+    SupportsRAdd,
+    SupportsRMod,
+    SupportsRMul,
+    SupportsRSub,
+    SupportsSub,
+)
 from collections.abc import Callable, Container, Iterable, MutableMapping, MutableSequence, Sequence
 from operator import attrgetter as attrgetter, itemgetter as itemgetter, methodcaller as methodcaller
 from typing import Any, AnyStr, Protocol, SupportsAbs, SupportsIndex, TypeVar, overload, type_check_only
@@ -17,6 +27,7 @@ from typing_extensions import ParamSpec, TypeAlias, TypeIs
 _R = TypeVar("_R")
 _T = TypeVar("_T")
 _T_co = TypeVar("_T_co", covariant=True)
+_T_contra = TypeVar("_T_contra", contravariant=True)
 _K = TypeVar("_K")
 _V = TypeVar("_V")
 _P = ParamSpec("_P")
@@ -89,13 +100,16 @@ def is_not(a: object, b: object, /) -> bool:
 def abs(a: SupportsAbs[_T], /) -> _T:
     """Same as abs(a)."""
 
-def add(a: Any, b: Any, /) -> Any:
+@overload
+def add(a: SupportsAdd[_T_contra, _T_co], b: _T_contra, /) -> _T_co:
     """Same as a + b."""
 
-def and_(a: Any, b: Any, /) -> Any:
+@overload
+def add(a: _T_contra, b: SupportsRAdd[_T_contra, _T_co], /) -> _T_co: ...
+def and_(a, b, /):
     """Same as a & b."""
 
-def floordiv(a: Any, b: Any, /) -> Any:
+def floordiv(a, b, /):
     """Same as a // b."""
 
 def index(a: SupportsIndex, /) -> int:
@@ -107,40 +121,49 @@ def inv(a: _SupportsInversion[_T_co], /) -> _T_co:
 def invert(a: _SupportsInversion[_T_co], /) -> _T_co:
     """Same as ~a."""
 
-def lshift(a: Any, b: Any, /) -> Any:
+def lshift(a, b, /):
     """Same as a << b."""
 
-def mod(a: Any, b: Any, /) -> Any:
+@overload
+def mod(a: SupportsMod[_T_contra, _T_co], b: _T_contra, /) -> _T_co:
     """Same as a % b."""
 
-def mul(a: Any, b: Any, /) -> Any:
+@overload
+def mod(a: _T_contra, b: SupportsRMod[_T_contra, _T_co], /) -> _T_co: ...
+@overload
+def mul(a: SupportsMul[_T_contra, _T_co], b: _T_contra, /) -> _T_co:
     """Same as a * b."""
 
-def matmul(a: Any, b: Any, /) -> Any:
+@overload
+def mul(a: _T_contra, b: SupportsRMul[_T_contra, _T_co], /) -> _T_co: ...
+def matmul(a, b, /):
     """Same as a @ b."""
 
 def neg(a: _SupportsNeg[_T_co], /) -> _T_co:
     """Same as -a."""
 
-def or_(a: Any, b: Any, /) -> Any:
+def or_(a, b, /):
     """Same as a | b."""
 
 def pos(a: _SupportsPos[_T_co], /) -> _T_co:
     """Same as +a."""
 
-def pow(a: Any, b: Any, /) -> Any:
+def pow(a, b, /):
     """Same as a ** b."""
 
-def rshift(a: Any, b: Any, /) -> Any:
+def rshift(a, b, /):
     """Same as a >> b."""
 
-def sub(a: Any, b: Any, /) -> Any:
+@overload
+def sub(a: SupportsSub[_T_contra, _T_co], b: _T_contra, /) -> _T_co:
     """Same as a - b."""
 
-def truediv(a: Any, b: Any, /) -> Any:
+@overload
+def sub(a: _T_contra, b: SupportsRSub[_T_contra, _T_co], /) -> _T_co: ...
+def truediv(a, b, /):
     """Same as a / b."""
 
-def xor(a: Any, b: Any, /) -> Any:
+def xor(a, b, /):
     """Same as a ^ b."""
 
 def concat(a: Sequence[_T], b: Sequence[_T], /) -> Sequence[_T]:
@@ -187,46 +210,46 @@ def length_hint(obj: object, default: int = 0, /) -> int:
     The result will be an integer >= 0.
     """
 
-def iadd(a: Any, b: Any, /) -> Any:
+def iadd(a, b, /):
     """Same as a += b."""
 
-def iand(a: Any, b: Any, /) -> Any:
+def iand(a, b, /):
     """Same as a &= b."""
 
-def iconcat(a: Any, b: Any, /) -> Any:
+def iconcat(a, b, /):
     """Same as a += b, for a and b sequences."""
 
-def ifloordiv(a: Any, b: Any, /) -> Any:
+def ifloordiv(a, b, /):
     """Same as a //= b."""
 
-def ilshift(a: Any, b: Any, /) -> Any:
+def ilshift(a, b, /):
     """Same as a <<= b."""
 
-def imod(a: Any, b: Any, /) -> Any:
+def imod(a, b, /):
     """Same as a %= b."""
 
-def imul(a: Any, b: Any, /) -> Any:
+def imul(a, b, /):
     """Same as a *= b."""
 
-def imatmul(a: Any, b: Any, /) -> Any:
+def imatmul(a, b, /):
     """Same as a @= b."""
 
-def ior(a: Any, b: Any, /) -> Any:
+def ior(a, b, /):
     """Same as a |= b."""
 
-def ipow(a: Any, b: Any, /) -> Any:
+def ipow(a, b, /):
     """Same as a **= b."""
 
-def irshift(a: Any, b: Any, /) -> Any:
+def irshift(a, b, /):
     """Same as a >>= b."""
 
-def isub(a: Any, b: Any, /) -> Any:
+def isub(a, b, /):
     """Same as a -= b."""
 
-def itruediv(a: Any, b: Any, /) -> Any:
+def itruediv(a, b, /):
     """Same as a /= b."""
 
-def ixor(a: Any, b: Any, /) -> Any:
+def ixor(a, b, /):
     """Same as a ^= b."""
 
 if sys.version_info >= (3, 11):

crates/ty_vendored/vendor/typeshed/stdlib/_socket.pyi

@@ -770,7 +770,7 @@ class socket:
     recv(buflen[, flags]) -- receive data
     recv_into(buffer[, nbytes[, flags]]) -- receive data (into a buffer)
     recvfrom(buflen[, flags]) -- receive data and sender's address
-    recvfrom_into(buffer[, nbytes, [, flags])
+    recvfrom_into(buffer[, nbytes, [, flags]])
       -- receive data and sender's address (into a buffer)
     sendall(data[, flags]) -- send all data
     send(data[, flags]) -- send data, may not send all of it
@@ -797,7 +797,7 @@ class socket:
         """the socket protocol"""
     # F811: "Redefinition of unused `timeout`"
     @property
-    def timeout(self) -> float | None:  # noqa: F811
+    def timeout(self) -> float | None:
         """the socket timeout"""
     if sys.platform == "win32":
         def __init__(
@@ -1236,7 +1236,7 @@ def getdefaulttimeout() -> float | None:
     """
 
 # F811: "Redefinition of unused `timeout`"
-def setdefaulttimeout(timeout: float | None, /) -> None:  # noqa: F811
+def setdefaulttimeout(timeout: float | None, /) -> None:
     """setdefaulttimeout(timeout)
 
     Set the default timeout in seconds (float) for new socket objects.

crates/ty_vendored/vendor/typeshed/stdlib/_sqlite3.pyi

@@ -171,7 +171,7 @@ if sys.version_info >= (3, 11):
     SQLITE_IOERR_VNODE: Final = 6922
     SQLITE_IOERR_WRITE: Final = 778
     SQLITE_LIMIT_ATTACHED: Final = 7
-    SQLITE_LIMIT_COLUMN: Final = 22
+    SQLITE_LIMIT_COLUMN: Final = 2
     SQLITE_LIMIT_COMPOUND_SELECT: Final = 4
     SQLITE_LIMIT_EXPR_DEPTH: Final = 3
     SQLITE_LIMIT_FUNCTION_ARG: Final = 6

crates/ty_vendored/vendor/typeshed/stdlib/_ssl.pyi

@@ -293,8 +293,8 @@ CERT_REQUIRED: Final = 2
 
 # verify flags
 VERIFY_DEFAULT: Final = 0
-VERIFY_CRL_CHECK_LEAF: Final = 0x4
-VERIFY_CRL_CHECK_CHAIN: Final = 0x8
+VERIFY_CRL_CHECK_LEAF: Final = 0x04
+VERIFY_CRL_CHECK_CHAIN: Final = 0x0C
 VERIFY_X509_STRICT: Final = 0x20
 VERIFY_X509_TRUSTED_FIRST: Final = 0x8000
 if sys.version_info >= (3, 10):
@@ -340,7 +340,7 @@ PROTOCOL_TLSv1_1: Final = 4
 PROTOCOL_TLSv1_2: Final = 5
 
 # protocol options
-OP_ALL: Final = 0x80000050
+OP_ALL: Final[int]
 OP_NO_SSLv2: Final = 0x0
 OP_NO_SSLv3: Final = 0x2000000
 OP_NO_TLSv1: Final = 0x4000000

crates/ty_vendored/vendor/typeshed/stdlib/_typeshed/__init__.pyi

@@ -126,6 +126,12 @@ class SupportsMul(Protocol[_T_contra, _T_co]):
 class SupportsRMul(Protocol[_T_contra, _T_co]):
     def __rmul__(self, x: _T_contra, /) -> _T_co: ...
 
+class SupportsMod(Protocol[_T_contra, _T_co]):
+    def __mod__(self, other: _T_contra, /) -> _T_co: ...
+
+class SupportsRMod(Protocol[_T_contra, _T_co]):
+    def __rmod__(self, other: _T_contra, /) -> _T_co: ...
+
 class SupportsDivMod(Protocol[_T_contra, _T_co]):
     def __divmod__(self, other: _T_contra, /) -> _T_co: ...
 

crates/ty_vendored/vendor/typeshed/stdlib/annotationlib.pyi

@@ -184,7 +184,7 @@ if sys.version_info >= (3, 14):
         does not exist, the __annotate__ function is called. The
         FORWARDREF format uses __annotations__ if it exists and can be
         evaluated, and otherwise falls back to calling the __annotate__ function.
-        The SOURCE format tries __annotate__ first, and falls back to
+        The STRING format tries __annotate__ first, and falls back to
         using __annotations__, stringified using annotations_to_string().
 
         This function handles several details for you:

crates/ty_vendored/vendor/typeshed/stdlib/argparse.pyi

@@ -160,7 +160,7 @@ class _ActionsContainer:
         const: Any = ...,
         default: Any = ...,
         type: _ActionType = ...,
-        choices: Iterable[_T] | None = ...,
+        choices: Iterable[Any] | None = ...,  # choices must match the type specified
         required: bool = ...,
         help: str | None = ...,
         metavar: str | tuple[str, ...] | None = ...,
@@ -273,7 +273,7 @@ class ArgumentParser(_AttributeHolder, _ActionsContainer):
             usage: str | None = None,
             description: str | None = None,
             epilog: str | None = None,
-            parents: Sequence[ArgumentParser] = [],
+            parents: Iterable[ArgumentParser] = [],
             formatter_class: _FormatterClass = ...,
             prefix_chars: str = "-",
             fromfile_prefix_chars: str | None = None,
@@ -293,7 +293,7 @@ class ArgumentParser(_AttributeHolder, _ActionsContainer):
             usage: str | None = None,
             description: str | None = None,
             epilog: str | None = None,
-            parents: Sequence[ArgumentParser] = [],
+            parents: Iterable[ArgumentParser] = [],
             formatter_class: _FormatterClass = ...,
             prefix_chars: str = "-",
             fromfile_prefix_chars: str | None = None,
@@ -305,9 +305,9 @@ class ArgumentParser(_AttributeHolder, _ActionsContainer):
         ) -> None: ...
 
     @overload
-    def parse_args(self, args: Sequence[str] | None = None, namespace: None = None) -> Namespace: ...
+    def parse_args(self, args: Iterable[str] | None = None, namespace: None = None) -> Namespace: ...
     @overload
-    def parse_args(self, args: Sequence[str] | None, namespace: _N) -> _N: ...
+    def parse_args(self, args: Iterable[str] | None, namespace: _N) -> _N: ...
     @overload
     def parse_args(self, *, namespace: _N) -> _N: ...
     @overload
@@ -344,9 +344,9 @@ class ArgumentParser(_AttributeHolder, _ActionsContainer):
     def format_usage(self) -> str: ...
     def format_help(self) -> str: ...
     @overload
-    def parse_known_args(self, args: Sequence[str] | None = None, namespace: None = None) -> tuple[Namespace, list[str]]: ...
+    def parse_known_args(self, args: Iterable[str] | None = None, namespace: None = None) -> tuple[Namespace, list[str]]: ...
     @overload
-    def parse_known_args(self, args: Sequence[str] | None, namespace: _N) -> tuple[_N, list[str]]: ...
+    def parse_known_args(self, args: Iterable[str] | None, namespace: _N) -> tuple[_N, list[str]]: ...
     @overload
     def parse_known_args(self, *, namespace: _N) -> tuple[_N, list[str]]: ...
     def convert_arg_line_to_args(self, arg_line: str) -> list[str]: ...
@@ -362,17 +362,17 @@ class ArgumentParser(_AttributeHolder, _ActionsContainer):
         """
 
     @overload
-    def parse_intermixed_args(self, args: Sequence[str] | None = None, namespace: None = None) -> Namespace: ...
+    def parse_intermixed_args(self, args: Iterable[str] | None = None, namespace: None = None) -> Namespace: ...
     @overload
-    def parse_intermixed_args(self, args: Sequence[str] | None, namespace: _N) -> _N: ...
+    def parse_intermixed_args(self, args: Iterable[str] | None, namespace: _N) -> _N: ...
     @overload
     def parse_intermixed_args(self, *, namespace: _N) -> _N: ...
     @overload
     def parse_known_intermixed_args(
-        self, args: Sequence[str] | None = None, namespace: None = None
+        self, args: Iterable[str] | None = None, namespace: None = None
     ) -> tuple[Namespace, list[str]]: ...
     @overload
-    def parse_known_intermixed_args(self, args: Sequence[str] | None, namespace: _N) -> tuple[_N, list[str]]: ...
+    def parse_known_intermixed_args(self, args: Iterable[str] | None, namespace: _N) -> tuple[_N, list[str]]: ...
     @overload
     def parse_known_intermixed_args(self, *, namespace: _N) -> tuple[_N, list[str]]: ...
     # undocumented
@@ -464,7 +464,7 @@ class HelpFormatter:
     def _metavar_formatter(self, action: Action, default_metavar: str) -> Callable[[int], tuple[str, ...]]: ...
     def _format_args(self, action: Action, default_metavar: str) -> str: ...
     def _expand_help(self, action: Action) -> str: ...
-    def _iter_indented_subactions(self, action: Action) -> Generator[Action, None, None]: ...
+    def _iter_indented_subactions(self, action: Action) -> Generator[Action]: ...
     def _split_lines(self, text: str, width: int) -> list[str]: ...
     def _fill_text(self, text: str, width: int, indent: str) -> str: ...
     def _get_help_string(self, action: Action) -> str | None: ...
@@ -1015,13 +1015,13 @@ class _SubParsersAction(Action, Generic[_ArgumentParserT]):
             *,
             deprecated: bool = False,
             help: str | None = ...,
-            aliases: Sequence[str] = ...,
+            aliases: Iterable[str] = ...,
             # Kwargs from ArgumentParser constructor
             prog: str | None = ...,
             usage: str | None = ...,
             description: str | None = ...,
             epilog: str | None = ...,
-            parents: Sequence[_ArgumentParserT] = ...,
+            parents: Iterable[_ArgumentParserT] = ...,
             formatter_class: _FormatterClass = ...,
             prefix_chars: str = ...,
             fromfile_prefix_chars: str | None = ...,
@@ -1041,13 +1041,13 @@ class _SubParsersAction(Action, Generic[_ArgumentParserT]):
             *,
             deprecated: bool = False,
             help: str | None = ...,
-            aliases: Sequence[str] = ...,
+            aliases: Iterable[str] = ...,
             # Kwargs from ArgumentParser constructor
             prog: str | None = ...,
             usage: str | None = ...,
             description: str | None = ...,
             epilog: str | None = ...,
-            parents: Sequence[_ArgumentParserT] = ...,
+            parents: Iterable[_ArgumentParserT] = ...,
             formatter_class: _FormatterClass = ...,
             prefix_chars: str = ...,
             fromfile_prefix_chars: str | None = ...,
@@ -1064,13 +1064,13 @@ class _SubParsersAction(Action, Generic[_ArgumentParserT]):
             name: str,
             *,
             help: str | None = ...,
-            aliases: Sequence[str] = ...,
+            aliases: Iterable[str] = ...,
             # Kwargs from ArgumentParser constructor
             prog: str | None = ...,
             usage: str | None = ...,
             description: str | None = ...,
             epilog: str | None = ...,
-            parents: Sequence[_ArgumentParserT] = ...,
+            parents: Iterable[_ArgumentParserT] = ...,
             formatter_class: _FormatterClass = ...,
             prefix_chars: str = ...,
             fromfile_prefix_chars: str | None = ...,

crates/ty_vendored/vendor/typeshed/stdlib/asyncio/queues.pyi

@@ -37,7 +37,7 @@ class Queue(Generic[_T], _LoopBoundMixin):  # noqa: Y059
     is an integer greater than 0, then "await put()" will block when the
     queue reaches maxsize, until an item is removed by get().
 
-    Unlike the standard library Queue, you can reliably know this Queue's size
+    Unlike queue.Queue, you can reliably know this Queue's size
     with qsize(), since your single-threaded asyncio application won't be
     interrupted between calling qsize() and doing an operation on the Queue.
     """