Sync typeshed (#13831)

Source commit:

python/typeshed@8b41b13

Reapply #13743 to remove use of `LiteralString`.

Co-authored-by: Shantanu <[email protected]>

Author: cdce8p

mypy/typeshed/stdlib/_dummy_threading.pyi

@@ -86,7 +86,6 @@ class Thread:
 class _DummyThread(Thread): ...
 
 class Lock:
-    def __init__(self) -> None: ...
     def __enter__(self) -> bool: ...
     def __exit__(
         self, exc_type: type[BaseException] | None, exc_val: BaseException | None, exc_tb: TracebackType | None
@@ -96,7 +95,6 @@ class Lock:
     def locked(self) -> bool: ...
 
 class _RLock:
-    def __init__(self) -> None: ...
     def __enter__(self) -> bool: ...
     def __exit__(
         self, exc_type: type[BaseException] | None, exc_val: BaseException | None, exc_tb: TracebackType | None
@@ -135,7 +133,6 @@ class Semaphore:
 class BoundedSemaphore(Semaphore): ...
 
 class Event:
-    def __init__(self) -> None: ...
     def is_set(self) -> bool: ...
     def set(self) -> None: ...
     def clear(self) -> None: ...

mypy/typeshed/stdlib/asyncio/taskgroups.pyi

@@ -13,7 +13,6 @@ __all__ = ["TaskGroup"]
 _T = TypeVar("_T")
 
 class TaskGroup:
-    def __init__(self) -> None: ...
     async def __aenter__(self: Self) -> Self: ...
     async def __aexit__(self, et: type[BaseException] | None, exc: BaseException | None, tb: TracebackType | None) -> None: ...
     def create_task(

mypy/typeshed/stdlib/asyncio/tasks.pyi

@@ -36,6 +36,7 @@ __all__ = (
 )
 
 _T = TypeVar("_T")
+_T_co = TypeVar("_T_co", covariant=True)
 _T1 = TypeVar("_T1")
 _T2 = TypeVar("_T2")
 _T3 = TypeVar("_T3")
@@ -265,21 +266,25 @@ else:
     ) -> tuple[set[Task[_T]], set[Task[_T]]]: ...
     async def wait_for(fut: _FutureLike[_T], timeout: float | None, *, loop: AbstractEventLoop | None = ...) -> _T: ...
 
-class Task(Future[_T], Generic[_T]):
+# mypy and pyright complain that a subclass of an invariant class shouldn't be covariant.
+# While this is true in general, here it's sort-of okay to have a covariant subclass,
+# since the only reason why `asyncio.Future` is invariant is the `set_result()` method,
+# and `asyncio.Task.set_result()` always raises.
+class Task(Future[_T_co], Generic[_T_co]):  # type: ignore[type-var]
     if sys.version_info >= (3, 8):
         def __init__(
             self,
-            coro: Generator[_TaskYieldType, None, _T] | Awaitable[_T],
+            coro: Generator[_TaskYieldType, None, _T_co] | Awaitable[_T_co],
             *,
             loop: AbstractEventLoop = ...,
             name: str | None = ...,
         ) -> None: ...
     else:
         def __init__(
-            self, coro: Generator[_TaskYieldType, None, _T] | Awaitable[_T], *, loop: AbstractEventLoop = ...
+            self, coro: Generator[_TaskYieldType, None, _T_co] | Awaitable[_T_co], *, loop: AbstractEventLoop = ...
         ) -> None: ...
     if sys.version_info >= (3, 8):
-        def get_coro(self) -> Generator[_TaskYieldType, None, _T] | Awaitable[_T]: ...
+        def get_coro(self) -> Generator[_TaskYieldType, None, _T_co] | Awaitable[_T_co]: ...
         def get_name(self) -> str: ...
         def set_name(self, __value: object) -> None: ...
 

mypy/typeshed/stdlib/asyncio/unix_events.pyi

@@ -118,7 +118,6 @@ if sys.platform != "win32":
 
     if sys.version_info >= (3, 9):
         class PidfdChildWatcher(AbstractChildWatcher):
-            def __init__(self) -> None: ...
             def __enter__(self: Self) -> Self: ...
             def __exit__(
                 self, exc_type: type[BaseException] | None, exc_val: BaseException | None, exc_tb: types.TracebackType | None

mypy/typeshed/stdlib/binhex.pyi

@@ -10,7 +10,6 @@ LINELEN: Literal[64]
 RUNCHAR: Literal[b"\x90"]
 
 class FInfo:
-    def __init__(self) -> None: ...
     Type: str
     Creator: str
     Flags: int

mypy/typeshed/stdlib/builtins.pyi

@@ -1712,8 +1712,6 @@ class Exception(BaseException): ...
 class StopIteration(Exception):
     value: Any
 
-_StandardError = Exception
-
 class OSError(Exception):
     errno: int
     strerror: str
@@ -1728,37 +1726,38 @@ IOError = OSError
 if sys.platform == "win32":
     WindowsError = OSError
 
-class ArithmeticError(_StandardError): ...
-class AssertionError(_StandardError): ...
+class ArithmeticError(Exception): ...
+class AssertionError(Exception): ...
 
-class AttributeError(_StandardError):
+class AttributeError(Exception):
     if sys.version_info >= (3, 10):
+        def __init__(self, *args: object, name: str | None = ..., obj: object = ...) -> None: ...
         name: str
         obj: object
 
-class BufferError(_StandardError): ...
-class EOFError(_StandardError): ...
+class BufferError(Exception): ...
+class EOFError(Exception): ...
 
-class ImportError(_StandardError):
+class ImportError(Exception):
     def __init__(self, *args: object, name: str | None = ..., path: str | None = ...) -> None: ...
     name: str | None
     path: str | None
     msg: str  # undocumented
 
-class LookupError(_StandardError): ...
-class MemoryError(_StandardError): ...
+class LookupError(Exception): ...
+class MemoryError(Exception): ...
 
-class NameError(_StandardError):
+class NameError(Exception):
     if sys.version_info >= (3, 10):
         name: str
 
-class ReferenceError(_StandardError): ...
-class RuntimeError(_StandardError): ...
+class ReferenceError(Exception): ...
+class RuntimeError(Exception): ...
 
 class StopAsyncIteration(Exception):
     value: Any
 
-class SyntaxError(_StandardError):
+class SyntaxError(Exception):
     msg: str
     lineno: int | None
     offset: int | None
@@ -1768,9 +1767,9 @@ class SyntaxError(_StandardError):
         end_lineno: int | None
         end_offset: int | None
 
-class SystemError(_StandardError): ...
-class TypeError(_StandardError): ...
-class ValueError(_StandardError): ...
+class SystemError(Exception): ...
+class TypeError(Exception): ...
+class ValueError(Exception): ...
 class FloatingPointError(ArithmeticError): ...
 class OverflowError(ArithmeticError): ...
 class ZeroDivisionError(ArithmeticError): ...

mypy/typeshed/stdlib/codeop.pyi

@@ -6,10 +6,8 @@ def compile_command(source: str, filename: str = ..., symbol: str = ...) -> Code
 
 class Compile:
     flags: int
-    def __init__(self) -> None: ...
     def __call__(self, source: str, filename: str, symbol: str) -> CodeType: ...
 
 class CommandCompiler:
     compiler: Compile
-    def __init__(self) -> None: ...
     def __call__(self, source: str, filename: str = ..., symbol: str = ...) -> CodeType | None: ...

mypy/typeshed/stdlib/concurrent/futures/_base.pyi

@@ -35,7 +35,6 @@ _T = TypeVar("_T")
 _P = ParamSpec("_P")
 
 class Future(Generic[_T]):
-    def __init__(self) -> None: ...
     def cancel(self) -> bool: ...
     def cancelled(self) -> bool: ...
     def running(self) -> bool: ...
@@ -90,14 +89,12 @@ def wait(fs: Iterable[Future[_T]], timeout: float | None = ..., return_when: str
 class _Waiter:
     event: threading.Event
     finished_futures: list[Future[Any]]
-    def __init__(self) -> None: ...
     def add_result(self, future: Future[Any]) -> None: ...
     def add_exception(self, future: Future[Any]) -> None: ...
     def add_cancelled(self, future: Future[Any]) -> None: ...
 
 class _AsCompletedWaiter(_Waiter):
     lock: threading.Lock
-    def __init__(self) -> None: ...
 
 class _FirstCompletedWaiter(_Waiter): ...
 

mypy/typeshed/stdlib/concurrent/futures/process.pyi

@@ -19,7 +19,6 @@ class _ThreadWakeup:
     _closed: bool
     _reader: Connection
     _writer: Connection
-    def __init__(self) -> None: ...
     def close(self) -> None: ...
     def wakeup(self) -> None: ...
     def clear(self) -> None: ...

mypy/typeshed/stdlib/contextlib.pyi

@@ -137,7 +137,6 @@ class redirect_stderr(_RedirectStream[_T_io]): ...
 # In reality this is a subclass of `AbstractContextManager`;
 # see #7961 for why we don't do that in the stub
 class ExitStack(metaclass=abc.ABCMeta):
-    def __init__(self) -> None: ...
     def enter_context(self, cm: AbstractContextManager[_T]) -> _T: ...
     def push(self, exit: _CM_EF) -> _CM_EF: ...
     def callback(self, __callback: Callable[_P, _T], *args: _P.args, **kwds: _P.kwargs) -> Callable[_P, _T]: ...
@@ -156,7 +155,6 @@ _ACM_EF = TypeVar("_ACM_EF", bound=AbstractAsyncContextManager[Any] | _ExitCoroF
 # In reality this is a subclass of `AbstractAsyncContextManager`;
 # see #7961 for why we don't do that in the stub
 class AsyncExitStack(metaclass=abc.ABCMeta):
-    def __init__(self) -> None: ...
     def enter_context(self, cm: AbstractContextManager[_T]) -> _T: ...
     async def enter_async_context(self, cm: AbstractAsyncContextManager[_T]) -> _T: ...
     def push(self, exit: _CM_EF) -> _CM_EF: ...