Sync typeshed (#13386)

Source commit:
python/typeshed@a92da58

Co-authored-by: Alex Waygood <[email protected]>

Author: jhance

mypy/test/teststubtest.py

@@ -54,6 +54,7 @@ def __init__(self, name, covariant: bool = ..., contravariant: bool = ...) -> No
 class ParamSpec:
     def __init__(self, name: str) -> None: ...
 
+AnyStr = TypeVar("AnyStr", str, bytes)
 _T = TypeVar("_T")
 _T_co = TypeVar("_T_co", covariant=True)
 _K = TypeVar("_K")
@@ -64,7 +65,7 @@ def __init__(self, name: str) -> None: ...
 class Coroutine(Generic[_T_co, _S, _R]): ...
 class Iterable(Generic[_T_co]): ...
 class Mapping(Generic[_K, _V]): ...
-class Match(Generic[_T]): ...
+class Match(Generic[AnyStr]): ...
 class Sequence(Iterable[_T_co]): ...
 class Tuple(Sequence[_T_co]): ...
 def overload(func: _T) -> _T: ...

mypy/typeshed/stdlib/_compression.pyi

@@ -20,10 +20,6 @@ class DecompressReader(RawIOBase):
         trailing_error: type[Exception] | tuple[type[Exception], ...] = ...,
         **decomp_args: Any,
     ) -> None: ...
-    def readable(self) -> bool: ...
-    def close(self) -> None: ...
-    def seekable(self) -> bool: ...
     def readinto(self, b: WriteableBuffer) -> int: ...
     def read(self, size: int = ...) -> bytes: ...
     def seek(self, offset: int, whence: int = ...) -> int: ...
-    def tell(self) -> int: ...

mypy/typeshed/stdlib/_decimal.pyi

@@ -74,7 +74,6 @@ class Decimal:
     def from_float(cls: type[Self], __f: float) -> Self: ...
     def __bool__(self) -> bool: ...
     def compare(self, other: _Decimal, context: Context | None = ...) -> Decimal: ...
-    def __hash__(self) -> int: ...
     def as_tuple(self) -> DecimalTuple: ...
     def as_integer_ratio(self) -> tuple[int, int]: ...
     def to_eng_string(self, context: Context | None = ...) -> str: ...
@@ -179,6 +178,11 @@ class _ContextManager:
 _TrapType: TypeAlias = type[DecimalException]
 
 class Context:
+    # TODO: Context doesn't allow you to delete *any* attributes from instances of the class at runtime,
+    # even settable attributes like `prec` and `rounding`,
+    # but that's inexpressable in the stub.
+    # Type checkers either ignore it or misinterpret it
+    # if you add a `def __delattr__(self, __name: str) -> NoReturn` method to the stub
     prec: int
     rounding: str
     Emin: int
@@ -199,9 +203,6 @@ class Context:
         traps: None | dict[_TrapType, bool] | Container[_TrapType] = ...,
         _ignored_flags: list[_TrapType] | None = ...,
     ) -> None: ...
-    # __setattr__() only allows to set a specific set of attributes,
-    # already defined above.
-    def __delattr__(self, __name: str) -> None: ...
     def __reduce__(self: Self) -> tuple[type[Self], tuple[Any, ...]]: ...
     def clear_flags(self) -> None: ...
     def clear_traps(self) -> None: ...

mypy/typeshed/stdlib/_dummy_thread.pyi

@@ -15,7 +15,6 @@ def stack_size(size: int | None = ...) -> int: ...
 
 class LockType:
     locked_status: bool
-    def __init__(self) -> None: ...
     def acquire(self, waitflag: bool | None = ..., timeout: int = ...) -> bool: ...
     def __enter__(self, waitflag: bool | None = ..., timeout: int = ...) -> bool: ...
     def __exit__(self, typ: type[BaseException] | None, val: BaseException | None, tb: TracebackType | None) -> None: ...

mypy/typeshed/stdlib/_markupbase.pyi

@@ -2,7 +2,6 @@ import sys
 from typing import Any
 
 class ParserBase:
-    def __init__(self) -> None: ...
     def reset(self) -> None: ...
     def getpos(self) -> tuple[int, int]: ...
     def unknown_decl(self, data: str) -> None: ...

mypy/typeshed/stdlib/_threading_local.pyi

@@ -8,11 +8,9 @@ _LocalDict: TypeAlias = dict[Any, Any]
 class _localimpl:
     key: str
     dicts: dict[int, tuple[ReferenceType[Any], _LocalDict]]
-    def __init__(self) -> None: ...
     def get_dict(self) -> _LocalDict: ...
     def create_dict(self) -> _LocalDict: ...
 
 class local:
     def __getattribute__(self, name: str) -> Any: ...
     def __setattr__(self, name: str, value: Any) -> None: ...
-    def __delattr__(self, name: str) -> None: ...

mypy/typeshed/stdlib/_weakref.pyi

@@ -23,7 +23,6 @@ class ReferenceType(Generic[_T]):
     __callback__: Callable[[ReferenceType[_T]], Any]
     def __new__(cls: type[Self], o: _T, callback: Callable[[ReferenceType[_T]], Any] | None = ...) -> Self: ...
     def __call__(self) -> _T | None: ...
-    def __hash__(self) -> int: ...
     if sys.version_info >= (3, 9):
         def __class_getitem__(cls, item: Any) -> GenericAlias: ...
 

mypy/typeshed/stdlib/_weakrefset.pyi

@@ -17,10 +17,8 @@ class WeakSet(MutableSet[_T], Generic[_T]):
     @overload
     def __init__(self, data: Iterable[_T]) -> None: ...
     def add(self, item: _T) -> None: ...
-    def clear(self) -> None: ...
     def discard(self, item: _T) -> None: ...
     def copy(self: Self) -> Self: ...
-    def pop(self) -> _T: ...
     def remove(self, item: _T) -> None: ...
     def update(self, other: Iterable[_T]) -> None: ...
     def __contains__(self, item: object) -> bool: ...

mypy/typeshed/stdlib/array.pyi

@@ -47,7 +47,6 @@ class array(MutableSequence[_T], Generic[_T]):
     def insert(self, __i: int, __v: _T) -> None: ...
     def pop(self, __i: int = ...) -> _T: ...
     def remove(self, __v: _T) -> None: ...
-    def reverse(self) -> None: ...
     def tobytes(self) -> bytes: ...
     def tofile(self, __f: SupportsWrite[bytes]) -> None: ...
     def tolist(self) -> list[_T]: ...
@@ -56,7 +55,6 @@ class array(MutableSequence[_T], Generic[_T]):
         def fromstring(self, __buffer: bytes) -> None: ...
         def tostring(self) -> bytes: ...
 
-    def __contains__(self, __key: object) -> bool: ...
     def __len__(self) -> int: ...
     @overload
     def __getitem__(self, __i: SupportsIndex) -> _T: ...

mypy/typeshed/stdlib/ast.pyi

@@ -5,21 +5,25 @@ from typing import Any, TypeVar, overload
 from typing_extensions import Literal
 
 if sys.version_info >= (3, 8):
-    class Num(Constant):
+    class _ABC(type):
+        if sys.version_info >= (3, 9):
+            def __init__(cls, *args: object) -> None: ...
+
+    class Num(Constant, metaclass=_ABC):
         value: complex
 
-    class Str(Constant):
+    class Str(Constant, metaclass=_ABC):
         value: str
         # Aliases for value, for backwards compatibility
         s: str
 
-    class Bytes(Constant):
+    class Bytes(Constant, metaclass=_ABC):
         value: bytes
         # Aliases for value, for backwards compatibility
         s: bytes
 
-    class NameConstant(Constant): ...
-    class Ellipsis(Constant): ...
+    class NameConstant(Constant, metaclass=_ABC): ...
+    class Ellipsis(Constant, metaclass=_ABC): ...
 
 if sys.version_info >= (3, 9):
     class slice(AST): ...