Sync typeshed (#20932)

Sync typeshed

Source commit:

python/typeshed@843c1fd

Note that you will need to close and re-open the PR in order to trigger
CI.

---------

Co-authored-by: mypybot <>
Co-authored-by: Marc Mueller <30130371+cdce8p@users.noreply.github.com>
Co-authored-by: Shantanu <12621235+hauntsaninja@users.noreply.github.com>
Co-authored-by: AlexWaygood <alex.waygood@gmail.com>
Co-authored-by: Shantanu Jain <hauntsaninja@gmail.com>

Author: 4 people

mypy/typeshed/stdlib/abc.pyi

@@ -22,8 +22,8 @@ class ABCMeta(type):
             mcls: type[_typeshed.Self], name: str, bases: tuple[type, ...], namespace: dict[str, Any], **kwargs: Any
         ) -> _typeshed.Self: ...
 
-    def __instancecheck__(cls: ABCMeta, instance: Any) -> bool: ...
-    def __subclasscheck__(cls: ABCMeta, subclass: type) -> bool: ...
+    def __instancecheck__(cls: ABCMeta, instance: Any, /) -> bool: ...
+    def __subclasscheck__(cls: ABCMeta, subclass: type, /) -> bool: ...
     def _dump_registry(cls: ABCMeta, file: SupportsWrite[str] | None = None) -> None: ...
     def register(cls: ABCMeta, subclass: type[_T]) -> type[_T]: ...
 

mypy/typeshed/stdlib/asyncio/tasks.pyi

@@ -369,14 +369,9 @@ else:
     async def wait_for(fut: _FutureLike[_T], timeout: float | None, *, loop: AbstractEventLoop | None = None) -> _T: ...
 
 if sys.version_info >= (3, 11):
-    @overload
     async def wait(
         fs: Iterable[_FT], *, timeout: float | None = None, return_when: str = "ALL_COMPLETED"
     ) -> tuple[set[_FT], set[_FT]]: ...
-    @overload
-    async def wait(
-        fs: Iterable[Task[_T]], *, timeout: float | None = None, return_when: str = "ALL_COMPLETED"
-    ) -> tuple[set[Task[_T]], set[Task[_T]]]: ...
 
 elif sys.version_info >= (3, 10):
     @overload

mypy/typeshed/stdlib/multiprocessing/managers.pyi

@@ -26,6 +26,8 @@ from .util import Finalize as _Finalize
 __all__ = ["BaseManager", "SyncManager", "BaseProxy", "Token", "SharedMemoryManager"]
 
 _T = TypeVar("_T")
+_T1 = TypeVar("_T1")
+_T2 = TypeVar("_T2")
 _KT = TypeVar("_KT")
 _VT = TypeVar("_VT")
 _S = TypeVar("_S")
@@ -94,6 +96,25 @@ if sys.version_info >= (3, 13):
         def keys(self) -> list[_KT]: ...  # type: ignore[override]
         def items(self) -> list[tuple[_KT, _VT]]: ...  # type: ignore[override]
         def values(self) -> list[_VT]: ...  # type: ignore[override]
+        if sys.version_info >= (3, 14):
+            # Next methods are copied from builtins.dict
+            @overload
+            def fromkeys(self, iterable: Iterable[_T], value: None = None, /) -> dict[_T, Any | None]: ...
+            @overload
+            def fromkeys(self, iterable: Iterable[_T], value: _S, /) -> dict[_T, _S]: ...
+            def __reversed__(self) -> Iterator[_KT]: ...
+            @overload
+            def __or__(self, value: dict[_KT, _VT], /) -> dict[_KT, _VT]: ...
+            @overload
+            def __or__(self, value: dict[_T1, _T2], /) -> dict[_KT | _T1, _VT | _T2]: ...
+            @overload
+            def __ror__(self, value: dict[_KT, _VT], /) -> dict[_KT, _VT]: ...
+            @overload
+            def __ror__(self, value: dict[_T1, _T2], /) -> dict[_KT | _T1, _VT | _T2]: ...
+            @overload  # type: ignore[misc]
+            def __ior__(self, value: SupportsKeysAndGetItem[_KT, _VT], /) -> Self: ...
+            @overload
+            def __ior__(self, value: Iterable[tuple[_KT, _VT]], /) -> Self: ...
 
     class DictProxy(_BaseDictProxy[_KT, _VT]):
         def __class_getitem__(cls, args: Any, /) -> GenericAlias: ...
@@ -193,6 +214,8 @@ class BaseListProxy(BaseProxy, MutableSequence[_T]):
     def insert(self, index: SupportsIndex, object: _T, /) -> None: ...
     def remove(self, value: _T, /) -> None: ...
     if sys.version_info >= (3, 14):
+        # Next methods are copied from builtins.list
+        def clear(self) -> None: ...
         def copy(self) -> list[_T]: ...
     # Use BaseListProxy[SupportsRichComparisonT] for the first overload rather than [SupportsRichComparison]
     # to work around invariance

mypy/typeshed/stdlib/multiprocessing/queues.pyi

@@ -1,15 +1,21 @@
 import sys
 from types import GenericAlias
-from typing import Any, Generic, TypeVar
+from typing import Any, Generic, NewType, TypeVar
 
 __all__ = ["Queue", "SimpleQueue", "JoinableQueue"]
 
 _T = TypeVar("_T")
 
+_QueueState = NewType("_QueueState", object)
+_JoinableQueueState = NewType("_JoinableQueueState", object)
+_SimpleQueueState = NewType("_SimpleQueueState", object)
+
 class Queue(Generic[_T]):
     # FIXME: `ctx` is a circular dependency and it's not actually optional.
     # It's marked as such to be able to use the generic Queue in __init__.pyi.
     def __init__(self, maxsize: int = 0, *, ctx: Any = ...) -> None: ...
+    def __getstate__(self) -> _QueueState: ...
+    def __setstate__(self, state: _QueueState) -> None: ...
     def put(self, obj: _T, block: bool = True, timeout: float | None = None) -> None: ...
     def get(self, block: bool = True, timeout: float | None = None) -> _T: ...
     def qsize(self) -> int: ...
@@ -24,13 +30,17 @@ class Queue(Generic[_T]):
         def __class_getitem__(cls, item: Any, /) -> GenericAlias: ...
 
 class JoinableQueue(Queue[_T]):
+    def __getstate__(self) -> _JoinableQueueState: ...  # type: ignore[override]
+    def __setstate__(self, state: _JoinableQueueState) -> None: ...  # type: ignore[override]
     def task_done(self) -> None: ...
     def join(self) -> None: ...
 
 class SimpleQueue(Generic[_T]):
     def __init__(self, *, ctx: Any = ...) -> None: ...
     def close(self) -> None: ...
     def empty(self) -> bool: ...
+    def __getstate__(self) -> _SimpleQueueState: ...
+    def __setstate__(self, state: _SimpleQueueState) -> None: ...
     def get(self) -> _T: ...
     def put(self, obj: _T) -> None: ...
     def __class_getitem__(cls, item: Any, /) -> GenericAlias: ...

mypy/typeshed/stdlib/opcode.pyi

@@ -41,7 +41,7 @@ if sys.version_info >= (3, 13):
 opname: Final[list[str]]
 
 opmap: Final[dict[str, int]]
-HAVE_ARGUMENT: Final = 43
-EXTENDED_ARG: Final = 69
+HAVE_ARGUMENT: Final[int]
+EXTENDED_ARG: Final[int]
 
 def stack_effect(opcode: int, oparg: int | None = None, /, *, jump: bool | None = None) -> int: ...

mypy/typeshed/stdlib/pickle.pyi

@@ -1,3 +1,4 @@
+import sys
 from _pickle import (
     PickleError as PickleError,
     Pickler as Pickler,
@@ -103,7 +104,10 @@ __all__ = [
 ]
 
 HIGHEST_PROTOCOL: Final = 5
-DEFAULT_PROTOCOL: Final = 5
+if sys.version_info >= (3, 14):
+    DEFAULT_PROTOCOL: Final = 5
+else:
+    DEFAULT_PROTOCOL: Final = 4
 
 bytes_types: tuple[type[Any], ...]  # undocumented
 

mypy/typeshed/stdlib/types.pyi

@@ -733,7 +733,7 @@ if sys.version_info >= (3, 10):
         def __hash__(self) -> int: ...
         # you can only subscript a `UnionType` instance if at least one of the elements
         # in the union is a generic alias instance that has a non-empty `__parameters__`
-        def __getitem__(self, parameters: Any) -> object: ...
+        def __getitem__(self, parameters: Any, /) -> object: ...
 
 if sys.version_info >= (3, 13):
     @final

mypy/typeshed/stdlib/typing.pyi

@@ -655,78 +655,78 @@ class Collection(Iterable[_T_co], Container[_T_co], Protocol[_T_co]):
 class Sequence(Reversible[_T_co], Collection[_T_co]):
     @overload
     @abstractmethod
-    def __getitem__(self, index: int) -> _T_co: ...
+    def __getitem__(self, index: int, /) -> _T_co: ...
     @overload
     @abstractmethod
-    def __getitem__(self, index: slice[int | None]) -> Sequence[_T_co]: ...
+    def __getitem__(self, index: slice[int | None], /) -> Sequence[_T_co]: ...
     # Mixin methods
-    def index(self, value: Any, start: int = 0, stop: int = ...) -> int: ...
-    def count(self, value: Any) -> int: ...
-    def __contains__(self, value: object) -> bool: ...
+    def index(self, value: Any, start: int = 0, stop: int = ..., /) -> int: ...
+    def count(self, value: Any, /) -> int: ...
+    def __contains__(self, value: object, /) -> bool: ...
     def __iter__(self) -> Iterator[_T_co]: ...
     def __reversed__(self) -> Iterator[_T_co]: ...
 
 class MutableSequence(Sequence[_T]):
     @abstractmethod
-    def insert(self, index: int, value: _T) -> None: ...
+    def insert(self, index: int, value: _T, /) -> None: ...
     @overload
     @abstractmethod
-    def __getitem__(self, index: int) -> _T: ...
+    def __getitem__(self, index: int, /) -> _T: ...
     @overload
     @abstractmethod
-    def __getitem__(self, index: slice[int | None]) -> MutableSequence[_T]: ...
+    def __getitem__(self, index: slice[int | None], /) -> MutableSequence[_T]: ...
     @overload
     @abstractmethod
-    def __setitem__(self, index: int, value: _T) -> None: ...
+    def __setitem__(self, index: int, value: _T, /) -> None: ...
     @overload
     @abstractmethod
-    def __setitem__(self, index: slice[int | None], value: Iterable[_T]) -> None: ...
+    def __setitem__(self, index: slice[int | None], value: Iterable[_T], /) -> None: ...
     @overload
     @abstractmethod
-    def __delitem__(self, index: int) -> None: ...
+    def __delitem__(self, index: int, /) -> None: ...
     @overload
     @abstractmethod
-    def __delitem__(self, index: slice[int | None]) -> None: ...
+    def __delitem__(self, index: slice[int | None], /) -> None: ...
     # Mixin methods
-    def append(self, value: _T) -> None: ...
+    def append(self, value: _T, /) -> None: ...
     def clear(self) -> None: ...
-    def extend(self, values: Iterable[_T]) -> None: ...
+    def extend(self, values: Iterable[_T], /) -> None: ...
     def reverse(self) -> None: ...
-    def pop(self, index: int = -1) -> _T: ...
-    def remove(self, value: _T) -> None: ...
-    def __iadd__(self, values: Iterable[_T]) -> typing_extensions.Self: ...
+    def pop(self, index: int = -1, /) -> _T: ...
+    def remove(self, value: _T, /) -> None: ...
+    def __iadd__(self, values: Iterable[_T], /) -> typing_extensions.Self: ...
 
 class AbstractSet(Collection[_T_co]):
     @abstractmethod
-    def __contains__(self, x: object) -> bool: ...
+    def __contains__(self, x: object, /) -> bool: ...
     def _hash(self) -> int: ...
     # Mixin methods
     @classmethod
-    def _from_iterable(cls, it: Iterable[_S]) -> AbstractSet[_S]: ...
-    def __le__(self, other: AbstractSet[Any]) -> bool: ...
-    def __lt__(self, other: AbstractSet[Any]) -> bool: ...
-    def __gt__(self, other: AbstractSet[Any]) -> bool: ...
-    def __ge__(self, other: AbstractSet[Any]) -> bool: ...
-    def __and__(self, other: AbstractSet[Any]) -> AbstractSet[_T_co]: ...
-    def __or__(self, other: AbstractSet[_T]) -> AbstractSet[_T_co | _T]: ...
-    def __sub__(self, other: AbstractSet[Any]) -> AbstractSet[_T_co]: ...
-    def __xor__(self, other: AbstractSet[_T]) -> AbstractSet[_T_co | _T]: ...
-    def __eq__(self, other: object) -> bool: ...
-    def isdisjoint(self, other: Iterable[Any]) -> bool: ...
+    def _from_iterable(cls, it: Iterable[_S], /) -> AbstractSet[_S]: ...
+    def __le__(self, other: AbstractSet[Any], /) -> bool: ...
+    def __lt__(self, other: AbstractSet[Any], /) -> bool: ...
+    def __gt__(self, other: AbstractSet[Any], /) -> bool: ...
+    def __ge__(self, other: AbstractSet[Any], /) -> bool: ...
+    def __and__(self, other: AbstractSet[Any], /) -> AbstractSet[_T_co]: ...
+    def __or__(self, other: AbstractSet[_T], /) -> AbstractSet[_T_co | _T]: ...
+    def __sub__(self, other: AbstractSet[Any], /) -> AbstractSet[_T_co]: ...
+    def __xor__(self, other: AbstractSet[_T], /) -> AbstractSet[_T_co | _T]: ...
+    def __eq__(self, other: object, /) -> bool: ...
+    def isdisjoint(self, other: Iterable[Any], /) -> bool: ...
 
 class MutableSet(AbstractSet[_T]):
     @abstractmethod
-    def add(self, value: _T) -> None: ...
+    def add(self, value: _T, /) -> None: ...
     @abstractmethod
-    def discard(self, value: _T) -> None: ...
+    def discard(self, value: _T, /) -> None: ...
     # Mixin methods
     def clear(self) -> None: ...
     def pop(self) -> _T: ...
-    def remove(self, value: _T) -> None: ...
-    def __ior__(self, it: AbstractSet[_T]) -> typing_extensions.Self: ...  # type: ignore[override,misc]
-    def __iand__(self, it: AbstractSet[Any]) -> typing_extensions.Self: ...
-    def __ixor__(self, it: AbstractSet[_T]) -> typing_extensions.Self: ...  # type: ignore[override,misc]
-    def __isub__(self, it: AbstractSet[Any]) -> typing_extensions.Self: ...
+    def remove(self, value: _T, /) -> None: ...
+    def __ior__(self, it: AbstractSet[_T], /) -> typing_extensions.Self: ...  # type: ignore[override,misc]
+    def __iand__(self, it: AbstractSet[Any], /) -> typing_extensions.Self: ...
+    def __ixor__(self, it: AbstractSet[_T], /) -> typing_extensions.Self: ...  # type: ignore[override,misc]
+    def __isub__(self, it: AbstractSet[Any], /) -> typing_extensions.Self: ...
 
 class MappingView(Sized):
     __slots__ = ("_mapping",)
@@ -736,36 +736,36 @@ class MappingView(Sized):
 class ItemsView(MappingView, AbstractSet[tuple[_KT_co, _VT_co]], Generic[_KT_co, _VT_co]):
     def __init__(self, mapping: SupportsGetItemViewable[_KT_co, _VT_co]) -> None: ...  # undocumented
     @classmethod
-    def _from_iterable(cls, it: Iterable[_S]) -> set[_S]: ...
-    def __and__(self, other: Iterable[Any]) -> set[tuple[_KT_co, _VT_co]]: ...
-    def __rand__(self, other: Iterable[_T]) -> set[_T]: ...
-    def __contains__(self, item: tuple[object, object]) -> bool: ...  # type: ignore[override]
+    def _from_iterable(cls, it: Iterable[_S], /) -> set[_S]: ...
+    def __and__(self, other: Iterable[Any], /) -> set[tuple[_KT_co, _VT_co]]: ...
+    def __rand__(self, other: Iterable[_T], /) -> set[_T]: ...
+    def __contains__(self, item: tuple[object, object], /) -> bool: ...  # type: ignore[override]
     def __iter__(self) -> Iterator[tuple[_KT_co, _VT_co]]: ...
-    def __or__(self, other: Iterable[_T]) -> set[tuple[_KT_co, _VT_co] | _T]: ...
-    def __ror__(self, other: Iterable[_T]) -> set[tuple[_KT_co, _VT_co] | _T]: ...
-    def __sub__(self, other: Iterable[Any]) -> set[tuple[_KT_co, _VT_co]]: ...
-    def __rsub__(self, other: Iterable[_T]) -> set[_T]: ...
-    def __xor__(self, other: Iterable[_T]) -> set[tuple[_KT_co, _VT_co] | _T]: ...
-    def __rxor__(self, other: Iterable[_T]) -> set[tuple[_KT_co, _VT_co] | _T]: ...
+    def __or__(self, other: Iterable[_T], /) -> set[tuple[_KT_co, _VT_co] | _T]: ...
+    def __ror__(self, other: Iterable[_T], /) -> set[tuple[_KT_co, _VT_co] | _T]: ...
+    def __sub__(self, other: Iterable[Any], /) -> set[tuple[_KT_co, _VT_co]]: ...
+    def __rsub__(self, other: Iterable[_T], /) -> set[_T]: ...
+    def __xor__(self, other: Iterable[_T], /) -> set[tuple[_KT_co, _VT_co] | _T]: ...
+    def __rxor__(self, other: Iterable[_T], /) -> set[tuple[_KT_co, _VT_co] | _T]: ...
 
 class KeysView(MappingView, AbstractSet[_KT_co]):
     def __init__(self, mapping: Viewable[_KT_co]) -> None: ...  # undocumented
     @classmethod
-    def _from_iterable(cls, it: Iterable[_S]) -> set[_S]: ...
-    def __and__(self, other: Iterable[Any]) -> set[_KT_co]: ...
-    def __rand__(self, other: Iterable[_T]) -> set[_T]: ...
-    def __contains__(self, key: object) -> bool: ...
+    def _from_iterable(cls, it: Iterable[_S], /) -> set[_S]: ...
+    def __and__(self, other: Iterable[Any], /) -> set[_KT_co]: ...
+    def __rand__(self, other: Iterable[_T], /) -> set[_T]: ...
+    def __contains__(self, key: object, /) -> bool: ...
     def __iter__(self) -> Iterator[_KT_co]: ...
-    def __or__(self, other: Iterable[_T]) -> set[_KT_co | _T]: ...
-    def __ror__(self, other: Iterable[_T]) -> set[_KT_co | _T]: ...
-    def __sub__(self, other: Iterable[Any]) -> set[_KT_co]: ...
-    def __rsub__(self, other: Iterable[_T]) -> set[_T]: ...
-    def __xor__(self, other: Iterable[_T]) -> set[_KT_co | _T]: ...
-    def __rxor__(self, other: Iterable[_T]) -> set[_KT_co | _T]: ...
+    def __or__(self, other: Iterable[_T], /) -> set[_KT_co | _T]: ...
+    def __ror__(self, other: Iterable[_T], /) -> set[_KT_co | _T]: ...
+    def __sub__(self, other: Iterable[Any], /) -> set[_KT_co]: ...
+    def __rsub__(self, other: Iterable[_T], /) -> set[_T]: ...
+    def __xor__(self, other: Iterable[_T], /) -> set[_KT_co | _T]: ...
+    def __rxor__(self, other: Iterable[_T], /) -> set[_KT_co | _T]: ...
 
 class ValuesView(MappingView, Collection[_VT_co]):
     def __init__(self, mapping: SupportsGetItemViewable[Any, _VT_co]) -> None: ...  # undocumented
-    def __contains__(self, value: object) -> bool: ...
+    def __contains__(self, value: object, /) -> bool: ...
     def __iter__(self) -> Iterator[_VT_co]: ...
 
 # note for Mapping.get and MutableMapping.pop and MutableMapping.setdefault