mypy-dev 2.4.0a2__tar.gz → 2.4.0a3__tar.gz

{mypy_dev-2.4.0a2 → mypy_dev-2.4.0a3}/CHANGELOG.md

@@ -105,6 +105,13 @@ Related changes:
 
 Please see [git log](https://github.com/python/typeshed/commits/main?after=f76037a1eb3923c67a8bc0e302ee9c016ffb3431+0&branch=main&path=stdlib) for full list of standard library typeshed stub changes.
 
+### Mypy 2.3.1
+
+- Fix mypyc crash on double yielding Iterators (Daniël van Noord, PR [21826](https://github.com/python/mypy/pull/21826))
+- Fix mypyc `default_factory` for inherited dataclass (Daniël van Noord, PR [21785](https://github.com/python/mypy/pull/21785))
+- Clear mypyc coroutine env on coroutine completion (Piotr Sawicki, PR [21734](https://github.com/python/mypy/pull/21734))
+- Fix crash when unpacking return value from overload (Shantanu, PR [21830](https://github.com/python/mypy/pull/21830))
+
 ### Acknowledgements
 
 Thanks to all mypy contributors who contributed to this release:

{mypy_dev-2.4.0a2 → mypy_dev-2.4.0a3}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: mypy-dev
-Version: 2.4.0a2
+Version: 2.4.0a3
 Summary: Optional static typing for Python
 Author-email: Jukka Lehtosalo <jukka.lehtosalo@iki.fi>
 License-Expression: MIT

{mypy_dev-2.4.0a2 → mypy_dev-2.4.0a3}/mypy/checker.py

@@ -604,18 +604,32 @@ class TypeChecker(NodeVisitor[None], TypeCheckerSharedApi, SplittingVisitor):
             with self.tscope.module_scope(self.tree.fullname):
                 with self.enter_partial_types(), self.binder.top_frame_context():
                     marked_unreachable = False
+                    reported_unreachable = False
                     for d in self.tree.defs:
                         if self.binder.is_unreachable():
+                            finish = False
                             if not marked_unreachable:
                                 self.mark_unreachable(self.tree.defs, after=d)
                                 marked_unreachable = True
                             if not self.should_report_unreachable_issues():
-                                break
-                            if not self.is_noop_for_reachability(d):
+                                finish = True
+                            if (
+                                not finish
+                                and not reported_unreachable
+                                and not self.is_noop_for_reachability(d)
+                            ):
                                 self.msg.unreachable_statement(d)
+                                self.binder.suppress_unreachable_warnings()
+                                finish = True
+                                reported_unreachable = True
+
+                            if finish and not self.options.check_unreachable:
                                 break
-                        else:
-                            self.accept(d)
+
+                            if not self.options.check_unreachable:
+                                continue
+
+                        self.accept(d)
 
                 assert not self.current_node_deferred
 
@@ -3303,20 +3317,34 @@ class TypeChecker(NodeVisitor[None], TypeCheckerSharedApi, SplittingVisitor):
             self.binder.unreachable()
             return
         marked_unreachable = False
+        reported_unreachable = False
         for s in b.body:
             if self.binder.is_unreachable():
+                finish = False
                 if self.scope.top_level_function() is None and not marked_unreachable:
                     self.mark_unreachable(b.body, after=s)
                     marked_unreachable = True
                 if not self.should_report_unreachable_issues():
-                    break
-                if not self.is_noop_for_reachability(s):
+                    finish = True
+                if (
+                    not finish
+                    and not reported_unreachable
+                    and not self.is_noop_for_reachability(s)
+                ):
                     self.msg.unreachable_statement(s)
+                    self.binder.suppress_unreachable_warnings()
+                    finish = True
+                    reported_unreachable = True
+
+                if finish and not self.options.check_unreachable:
                     break
-            else:
-                self.accept(s)
-                # Clear expression cache after each statement to avoid unlimited growth.
-                self.expr_checker.expr_cache.clear()
+
+                if not self.options.check_unreachable:
+                    continue
+
+            self.accept(s)
+            # Clear expression cache after each statement to avoid unlimited growth.
+            self.expr_checker.expr_cache.clear()
 
     def should_report_unreachable_issues(self) -> bool:
         return (
@@ -4409,8 +4437,10 @@ class TypeChecker(NodeVisitor[None], TypeCheckerSharedApi, SplittingVisitor):
                     # inferred return type for an overloaded function
                     # to be ambiguous.
                     return
-                assert isinstance(reinferred_rvalue_type, TupleType)
-                rvalue_type = reinferred_rvalue_type
+                if isinstance(reinferred_rvalue_type, TupleType):
+                    # This branch will usually be taken, but in some cases context can
+                    # e.g. select a different overload
+                    rvalue_type = reinferred_rvalue_type
 
             left_rv_types, star_rv_types, right_rv_types = self.split_around_star(
                 rvalue_type.items, star_index, len(lvalues)
@@ -5489,6 +5519,7 @@ class TypeChecker(NodeVisitor[None], TypeCheckerSharedApi, SplittingVisitor):
                     self.accept(s.finally_body)
 
         if s.finally_body:
+            previously_suppressed = self.binder.is_unreachable_warning_suppressed()
             # Then we try again for the more restricted set of options
             # that can fall through. (Why do we need to check the
             # finally clause twice? Depending on whether the finally
@@ -5506,6 +5537,11 @@ class TypeChecker(NodeVisitor[None], TypeCheckerSharedApi, SplittingVisitor):
                     self.accept(s.finally_body)
             self.msg.iteration_dependent_errors(iter_errors)
 
+            if not previously_suppressed:
+                # The finally body might have warned about unreachability,
+                # but we still want anything afterwards to warn too.
+                self.binder.frames[-1].suppress_unreachable_warnings = False
+
     def visit_try_without_finally(self, s: TryStmt, try_frame: bool) -> None:
         """Type check a try statement, ignoring the finally block.
 

{mypy_dev-2.4.0a2 → mypy_dev-2.4.0a3}/mypy/erasetype.py

@@ -246,6 +246,10 @@ class LastKnownValueEraser(TypeTranslator):
     def visit_instance(self, t: Instance) -> Type:
         if not t.last_known_value and not t.args:
             return t
+        if t.last_known_value is not None and t.last_known_value.is_sentinel_literal():
+            # Sentinel values (PEP 661) have no other way to identify themselves than
+            # via their literal, unlike e.g. enum members, so it must be preserved.
+            return t
         return t.copy_modified(args=[a.accept(self) for a in t.args], last_known_value=None)
 
     def visit_type_alias_type(self, t: TypeAliasType) -> Type:

{mypy_dev-2.4.0a2 → mypy_dev-2.4.0a3}/mypy/expandtype.py

@@ -244,6 +244,10 @@ class ExpandTypeVisitor(TrivialSyntheticTypeTranslator):
             t = t.copy_modified(upper_bound=t.upper_bound.accept(self))
         repl = self.variables.get(t.id, t)
         if isinstance(repl, ProperType) and isinstance(repl, Instance):
+            if repl.last_known_value is not None and repl.last_known_value.is_sentinel_literal():
+                # Sentinel values (PEP 661) have no other way to identify themselves than
+                # via their literal, unlike e.g. enum members, so it must survive expansion.
+                return repl
             # TODO: do we really need to do this?
             # If I try to remove this special-casing ~40 tests fail on reveal_type().
             return repl.copy_modified(last_known_value=None)

{mypy_dev-2.4.0a2 → mypy_dev-2.4.0a3}/mypy/main.py

@@ -965,6 +965,13 @@ def define_options(
         group=strictness_group,
     )
 
+    add_invertible_flag(
+        "--check-unreachable",
+        default=False,
+        help=argparse.SUPPRESS,  # "Type check unreachable code",
+        group=strictness_group,
+    )
+
     strict_help = "Strict mode; enables the following flags: {}".format(
         ", ".join(strict_flag_names)
     )

{mypy_dev-2.4.0a2 → mypy_dev-2.4.0a3}/mypy/messages.py

@@ -2712,6 +2712,12 @@ def format_type_inner(
 
     if isinstance(typ, Instance):
         itype = typ
+        if itype.last_known_value is not None and itype.last_known_value.is_sentinel_literal():
+            # Sentinel values (PEP 661) have no other way to identify themselves
+            # than via their literal, so use it instead of the shared fallback
+            # class name (unlike other literals, sentinels are always formatted
+            # this way, e.g. "MISSING" rather than "Literal[MISSING]").
+            return format_literal_value(itype.last_known_value)
         # Get the short name of the type.
         if itype.type.fullname == "types.ModuleType":
             # Make some common error messages simpler and tidier.
@@ -3525,6 +3531,12 @@ def ignore_last_known_values(t: UnionType) -> Type:
     seen_instances = set()
     for item in t.items:
         if isinstance(item, ProperType) and isinstance(item, Instance):
+            if item.last_known_value is not None and item.last_known_value.is_sentinel_literal():
+                # Sentinel values (PEP 661) have no other way to identify themselves
+                # than via their literal, unlike e.g. enum members, so it must be
+                # preserved (see mypy/erasetype.py for the same exemption).
+                union_items.append(item)
+                continue
             erased = item.copy_modified(last_known_value=None)
             if erased in seen_instances:
                 continue

{mypy_dev-2.4.0a2 → mypy_dev-2.4.0a3}/mypy/nativeparse.py

@@ -672,7 +672,7 @@ def read_func_def(state: State, data: ReadBuffer) -> FuncDef:
     name = read_str(data)
     arguments, has_ann = read_parameters(state, data)
 
-    if special_function_elide_names(name):
+    if state.options.pos_only_special_methods and special_function_elide_names(name):
         for arg in arguments:
             arg.pos_only = True
 
@@ -723,6 +723,8 @@ def read_func_def(state: State, data: ReadBuffer) -> FuncDef:
         # TODO: This seems wasteful, can we avoid it?
         func_def.unanalyzed_type = typ.copy_modified()
     expect_end_tag(data)
+    if state.options.include_docstrings:
+        func_def.docstring = get_docstring(body)
     return func_def
 
 
@@ -769,9 +771,19 @@ def read_class_def(state: State, data: ReadBuffer) -> ClassDef:
         )
         check_type_param_defaults(state, type_params, class_def.line, class_def.column)
     expect_end_tag(data)
+    if state.options.include_docstrings:
+        class_def.docstring = get_docstring(body)
     return class_def
 
 
+def get_docstring(body: Block) -> str | None:
+    if body.body and isinstance(body.body[0], ExpressionStmt):
+        expr = body.body[0].expr
+        if isinstance(expr, StrExpr):
+            return expr.value
+    return None
+
+
 def read_type_alias_stmt(state: State, data: ReadBuffer) -> TypeAliasStmt:
     """Read PEP 695 type alias statement."""
     name = read_expression(state, data)
@@ -1579,7 +1591,14 @@ def read_expression(state: State, data: ReadBuffer) -> Expression:
     elif tag == nodes.ASSIGNMENT_EXPR:
         target = read_expression(state, data)
         value = read_expression(state, data)
-        assert isinstance(target, NameExpr), f"Expected NameExpr for target, got {type(target)}"
+        if not isinstance(target, NameExpr):
+            # The only valid target of ":=" is a plain name, but ruff's error
+            # recovery can produce other targets for invalid code such as
+            # "(f() := 1)". Ruff already reports a syntax error in this case, so
+            # here we just recover with a placeholder name instead of crashing.
+            placeholder = NameExpr("")
+            placeholder.set_line(target)
+            target = placeholder
         expr = AssignmentExpr(target, value)
         read_loc(data, expr)
         expect_end_tag(data)

{mypy_dev-2.4.0a2 → mypy_dev-2.4.0a3}/mypy/options.py

@@ -29,6 +29,7 @@ PER_MODULE_OPTIONS: Final = {
     "allow_untyped_globals",
     "always_false",
     "always_true",
+    "check_unreachable",
     "check_untyped_defs",
     "debug_cache",
     "disable_error_code",
@@ -173,6 +174,9 @@ class Options:
         # Disallow defining incompletely typed functions
         self.disallow_incomplete_defs = False
 
+        # Type check unreachable code
+        self.check_unreachable = False
+
         # Type check unannotated functions
         self.check_untyped_defs = False
 

{mypy_dev-2.4.0a2 → mypy_dev-2.4.0a3}/mypy/typeanal.py

@@ -927,8 +927,12 @@ class TypeAnalyser(SyntheticTypeVisitor[Type], TypeAnalyzerPluginInterface):
             if info.special_alias:
                 res, used_default = instantiate_type_alias(
                     info.special_alias,
-                    # TODO: should we allow NamedTuples generic in ParamSpec?
-                    self.anal_array(args, allow_unpack=True),
+                    self.anal_array(
+                        args,
+                        allow_unpack=True,
+                        allow_param_spec=True,
+                        allow_param_spec_literals=True,
+                    ),
                     self.fail,
                     self.note,
                     False,
@@ -953,8 +957,12 @@ class TypeAnalyser(SyntheticTypeVisitor[Type], TypeAnalyzerPluginInterface):
             if info.special_alias:
                 res, used_default = instantiate_type_alias(
                     info.special_alias,
-                    # TODO: should we allow TypedDicts generic in ParamSpec?
-                    self.anal_array(args, allow_unpack=True),
+                    self.anal_array(
+                        args,
+                        allow_unpack=True,
+                        allow_param_spec=True,
+                        allow_param_spec_literals=True,
+                    ),
                     self.fail,
                     self.note,
                     False,

{mypy_dev-2.4.0a2 → mypy_dev-2.4.0a3}/mypy/typeops.py

@@ -37,6 +37,7 @@ from mypy.state import state
 from mypy.types import (
     ELLIPSIS_TYPE_NAMES,
     NOT_IMPLEMENTED_TYPE_NAMES,
+    SENTINEL_TYPE_NAMES,
     AnyType,
     CallableType,
     ExtraAttrs,
@@ -1056,6 +1057,7 @@ def is_singleton_identity_type(typ: ProperType) -> bool:
             (typ.type.is_enum and len(typ.type.enum_members) == 1)
             or (typ.type.fullname in ELLIPSIS_TYPE_NAMES)
             or (typ.type.fullname in NOT_IMPLEMENTED_TYPE_NAMES)
+            or (typ.type.fullname in SENTINEL_TYPE_NAMES)
         )
     if isinstance(typ, LiteralType):
         return typ.is_enum_literal() or typ.is_sentinel_literal() or isinstance(typ.value, bool)

{mypy_dev-2.4.0a2 → mypy_dev-2.4.0a3}/mypy/typeshed/stdlib/_asyncio.pyi

@@ -53,7 +53,7 @@ else:
 # since the only reason why `asyncio.Future` is invariant is the `set_result()` method,
 # and `asyncio.Task.set_result()` always raises.
 @disjoint_base
-class Task(Future[_T_co]):  # type: ignore[type-var]  # pyright: ignore[reportInvalidTypeArguments]  # ty:ignore[invalid-generic-class]
+class Task(Future[_T_co]):  # type: ignore[type-var]  # pyright: ignore[reportInvalidTypeArguments]  # ty:ignore[invalid-generic-class]  # pyrefly: ignore [invalid-variance]
     if sys.version_info >= (3, 12):
         def __init__(
             self,

{mypy_dev-2.4.0a2 → mypy_dev-2.4.0a3}/mypy/typeshed/stdlib/_ctypes.pyi

@@ -368,3 +368,8 @@ def Py_INCREF(o: _T, /) -> _T: ...
 def buffer_info(o: _CData | _CDataType | type[_CData | _CDataType], /) -> tuple[str, int, tuple[int, ...]]: ...
 def call_cdeclfunction(address: int, arguments: tuple[Any, ...], /) -> Any: ...
 def call_function(address: int, arguments: tuple[Any, ...], /) -> Any: ...
+
+# dllist() is available on Linux and other platforms like NetBSD
+if sys.version_info >= (3, 14) and sys.platform != "win32" and sys.platform != "darwin":
+    # Added in Python 3.14.7
+    def dllist() -> list[str]: ...

{mypy_dev-2.4.0a2 → mypy_dev-2.4.0a3}/mypy/typeshed/stdlib/_typeshed/__init__.pyi

@@ -168,6 +168,18 @@ class SupportsTrunc(Protocol):
 
 # Mapping-like protocols
 
+# The second and third overload could technically be combined, but splitting
+# them works better with some type checkers.
+class SupportsGet(Protocol[_KT_contra, _VT_co]):  # type: ignore[misc] # Covariant type as parameter
+    @overload
+    def get(self, key: _KT_contra, /) -> _VT_co | None: ...
+    @overload
+    def get(  # pyrefly: ignore[invalid-variance]
+        self, key: _KT_contra, default: _VT_co, /  # type: ignore[misc] # pyright: ignore[reportGeneralTypeIssues] # Covariant type as parameter
+    ) -> _VT_co: ...
+    @overload
+    def get(self, key: _KT_contra, default: _T, /) -> _VT_co | _T: ...
+
 # stable
 class SupportsItems(Protocol[_KT_co, _VT_co]):
     def items(self) -> AbstractSet[tuple[_KT_co, _VT_co]]: ...
@@ -193,6 +205,8 @@ class SupportsItemAccess(Protocol[_KT_contra, _VT]):
     def __setitem__(self, key: _KT_contra, value: _VT, /) -> None: ...
     def __delitem__(self, key: _KT_contra, /) -> None: ...
 
+# Path and file handling
+
 StrPath: TypeAlias = str | PathLike[str]  # stable
 BytesPath: TypeAlias = bytes | PathLike[bytes]  # stable
 GenericPath: TypeAlias = AnyStr | PathLike[AnyStr]

{mypy_dev-2.4.0a2 → mypy_dev-2.4.0a3}/mypy/typeshed/stdlib/_winapi.pyi

@@ -314,5 +314,6 @@ if sys.platform == "win32":
         def CopyFile2(existing_file_name: str, new_file_name: str, flags: int, progress_routine: int | None = None) -> int: ...
         def NeedCurrentDirectoryForExePath(exe_name: str, /) -> bool: ...
 
-    if sys.version_info >= (3, 15):
+    if sys.version_info >= (3, 13):
+        # Added in Python 3.13.15, 3.14.7
         def GetTickCount64() -> int: ...

{mypy_dev-2.4.0a2 → mypy_dev-2.4.0a3}/mypy/typeshed/stdlib/argparse.pyi

@@ -324,8 +324,8 @@ class HelpFormatter:
     _current_indent: int
     _level: int
     _action_max_length: int
-    _root_section: _Section
-    _current_section: _Section
+    _root_section: _Section  # pyrefly: ignore [unknown-name]
+    _current_section: _Section  # pyrefly: ignore [unknown-name]
     _whitespace_matcher: Pattern[str]
     _long_break_matcher: Pattern[str]
 

{mypy_dev-2.4.0a2 → mypy_dev-2.4.0a3}/mypy/typeshed/stdlib/asyncio/base_events.pyi

@@ -83,7 +83,8 @@ class BaseEventLoop(AbstractEventLoop):
     # Future methods
     def create_future(self) -> Future[Any]: ...
     # Tasks methods
-    if sys.version_info >= (3, 14):
+    # `eager_start` is supported as an arbitrary kwarg starting in 3.13.3.
+    if sys.version_info >= (3, 13):
         def create_task(
             self,
             coro: _CoroutineLike[_T],

{mypy_dev-2.4.0a2 → mypy_dev-2.4.0a3}/mypy/typeshed/stdlib/asyncio/events.pyi

@@ -161,7 +161,8 @@ class AbstractEventLoop:
     @abstractmethod
     def create_future(self) -> Future[Any]: ...
     # Tasks methods
-    if sys.version_info >= (3, 14):
+    # `eager_start` is supported as an arbitrary kwarg starting in 3.13.3.
+    if sys.version_info >= (3, 13):
         @abstractmethod
         def create_task(
             self,

{mypy_dev-2.4.0a2 → mypy_dev-2.4.0a3}/mypy/typeshed/stdlib/collections/__init__.pyi

@@ -365,17 +365,17 @@ class _OrderedDictValuesView(ValuesView[_VT_co]):
 # pyright doesn't have a specific error code for subclassing error!
 @final
 @type_check_only
-class _odict_keys(dict_keys[_KT_co, _VT_co]):  # type: ignore[misc]  # pyright: ignore[reportGeneralTypeIssues]  # ty:ignore[subclass-of-final-class]
+class _odict_keys(dict_keys[_KT_co, _VT_co]):  # type: ignore[misc]  # pyright: ignore[reportGeneralTypeIssues]  # ty:ignore[subclass-of-final-class]  # pyrefly: ignore [invalid-inheritance]
     def __reversed__(self) -> Iterator[_KT_co]: ...
 
 @final
 @type_check_only
-class _odict_items(dict_items[_KT_co, _VT_co]):  # type: ignore[misc]  # pyright: ignore[reportGeneralTypeIssues]  # ty:ignore[subclass-of-final-class]
+class _odict_items(dict_items[_KT_co, _VT_co]):  # type: ignore[misc]  # pyright: ignore[reportGeneralTypeIssues]  # ty:ignore[subclass-of-final-class]  # pyrefly: ignore [invalid-inheritance]
     def __reversed__(self) -> Iterator[tuple[_KT_co, _VT_co]]: ...
 
 @final
 @type_check_only
-class _odict_values(dict_values[_KT_co, _VT_co]):  # type: ignore[misc]  # pyright: ignore[reportGeneralTypeIssues]  # ty:ignore[subclass-of-final-class]
+class _odict_values(dict_values[_KT_co, _VT_co]):  # type: ignore[misc]  # pyright: ignore[reportGeneralTypeIssues]  # ty:ignore[subclass-of-final-class]  # pyrefly: ignore [invalid-inheritance]
     def __reversed__(self) -> Iterator[_VT_co]: ...
 
 @disjoint_base

{mypy_dev-2.4.0a2 → mypy_dev-2.4.0a3}/mypy/typeshed/stdlib/concurrent/futures/process.pyi

@@ -147,7 +147,8 @@ class _ExecutorManagerThread(Thread):
     def process_result_item(self, result_item: int | _ResultItem) -> None: ...
     def is_shutting_down(self) -> bool: ...
 
-    if sys.version_info >= (3, 15):
+    if sys.version_info >= (3, 14):
+        # bpe_message parameter added in 3.14.7
         def terminate_broken(self, cause: str, bpe_message: str | None = None) -> None: ...
     else:
         def terminate_broken(self, cause: str) -> None: ...

{mypy_dev-2.4.0a2 → mypy_dev-2.4.0a3}/mypy/typeshed/stdlib/contextlib.pyi

@@ -43,7 +43,7 @@ _CM_EF = TypeVar("_CM_EF", bound=AbstractContextManager[Any, Any] | _ExitFunc)
 # At runtime it inherits from ABC and is not a Protocol, but it is on the
 # allowlist for use as a Protocol.
 @runtime_checkable
-class AbstractContextManager(ABC, Protocol[_T_co, _ExitT_co]):  # type: ignore[misc]  # pyright: ignore[reportGeneralTypeIssues]  # ty:ignore[invalid-protocol]
+class AbstractContextManager(ABC, Protocol[_T_co, _ExitT_co]):  # type: ignore[misc]  # pyright: ignore[reportGeneralTypeIssues]  # ty:ignore[invalid-protocol]  # pyrefly: ignore [invalid-inheritance]
     __slots__ = ()
     def __enter__(self) -> _T_co: ...
     @abstractmethod
@@ -55,7 +55,7 @@ class AbstractContextManager(ABC, Protocol[_T_co, _ExitT_co]):  # type: ignore[m
 # At runtime it inherits from ABC and is not a Protocol, but it is on the
 # allowlist for use as a Protocol.
 @runtime_checkable
-class AbstractAsyncContextManager(ABC, Protocol[_T_co, _ExitT_co]):  # type: ignore[misc]  # pyright: ignore[reportGeneralTypeIssues]  # ty:ignore[invalid-protocol]
+class AbstractAsyncContextManager(ABC, Protocol[_T_co, _ExitT_co]):  # type: ignore[misc]  # pyright: ignore[reportGeneralTypeIssues]  # ty:ignore[invalid-protocol]  # pyrefly: ignore [invalid-inheritance]
     __slots__ = ()
     async def __aenter__(self) -> _T_co: ...
     @abstractmethod

{mypy_dev-2.4.0a2 → mypy_dev-2.4.0a3}/mypy/typeshed/stdlib/copy.pyi

@@ -14,10 +14,15 @@ class _SupportsReplace(Protocol[_RT_co]):
 # None in CPython but non-None in Jython
 PyStringMap: Any
 
-# Note: memo and _nil are internal kwargs.
-def deepcopy(x: _T, memo: dict[int, Any] | None = None, _nil: Any = []) -> _T: ...
 def copy(x: _T) -> _T: ...
 
+if sys.version_info >= (3, 15):
+    def deepcopy(x: _T, memo: dict[int, Any] | None = None) -> _T: ...
+
+else:
+    # Note: memo and _nil are internal kwargs.
+    def deepcopy(x: _T, memo: dict[int, Any] | None = None, _nil: Any = []) -> _T: ...
+
 if sys.version_info >= (3, 13):
     __all__ += ["replace"]
     # The types accepted by `**changes` match those of `obj.__replace__`.

{mypy_dev-2.4.0a2 → mypy_dev-2.4.0a3}/mypy/typeshed/stdlib/dataclasses.pyi

@@ -298,7 +298,7 @@ def fields(class_or_instance: DataclassInstance | type[DataclassInstance]) -> tu
 
 # HACK: `obj: Never` typing matches if object argument is using `Any` type.
 @overload
-def is_dataclass(obj: Never) -> TypeIs[DataclassInstance | type[DataclassInstance]]: ...  # type: ignore[narrowed-type-not-subtype]  # pyright: ignore[reportGeneralTypeIssues]  # ty:ignore[invalid-type-guard-definition]
+def is_dataclass(obj: Never) -> TypeIs[DataclassInstance | type[DataclassInstance]]: ...  # type: ignore[narrowed-type-not-subtype]  # pyright: ignore[reportGeneralTypeIssues]  # ty:ignore[invalid-type-guard-definition]  # pyrefly: ignore [bad-function-definition]
 @overload
 def is_dataclass(obj: type) -> TypeIs[type[DataclassInstance]]: ...
 @overload

{mypy_dev-2.4.0a2 → mypy_dev-2.4.0a3}/mypy/typeshed/stdlib/doctest.pyi

@@ -150,6 +150,9 @@ class DocTestRunner:
         skips: int
     test: DocTest
     def __init__(self, checker: OutputChecker | None = None, verbose: bool | None = None, optionflags: int = 0) -> None: ...
+    if sys.version_info >= (3, 15):
+        def report_skip(self, out: _Out, test: DocTest, example: Example) -> None: ...
+
     def report_start(self, out: _Out, test: DocTest, example: Example) -> None: ...
     def report_success(self, out: _Out, test: DocTest, example: Example, got: str) -> None: ...
     def report_failure(self, out: _Out, test: DocTest, example: Example, got: str) -> None: ...

{mypy_dev-2.4.0a2 → mypy_dev-2.4.0a3}/mypy/typeshed/stdlib/encodings/big5.pyi

@@ -14,7 +14,7 @@ class IncrementalEncoder(mbc.MultibyteIncrementalEncoder, codecs.IncrementalEnco
 class IncrementalDecoder(mbc.MultibyteIncrementalDecoder, codecs.IncrementalDecoder):
     codec: ClassVar[mbc._MultibyteCodec] = ...
 
-class StreamReader(Codec, mbc.MultibyteStreamReader, codecs.StreamReader):  # type: ignore[misc]
+class StreamReader(Codec, mbc.MultibyteStreamReader, codecs.StreamReader):  # type: ignore[misc]  # pyrefly: ignore [inconsistent-inheritance]
     codec: ClassVar[mbc._MultibyteCodec] = ...
 
 class StreamWriter(Codec, mbc.MultibyteStreamWriter, codecs.StreamWriter):

{mypy_dev-2.4.0a2 → mypy_dev-2.4.0a3}/mypy/typeshed/stdlib/encodings/big5hkscs.pyi

@@ -14,7 +14,7 @@ class IncrementalEncoder(mbc.MultibyteIncrementalEncoder, codecs.IncrementalEnco
 class IncrementalDecoder(mbc.MultibyteIncrementalDecoder, codecs.IncrementalDecoder):
     codec: ClassVar[mbc._MultibyteCodec] = ...
 
-class StreamReader(Codec, mbc.MultibyteStreamReader, codecs.StreamReader):  # type: ignore[misc]
+class StreamReader(Codec, mbc.MultibyteStreamReader, codecs.StreamReader):  # type: ignore[misc]  # pyrefly: ignore [inconsistent-inheritance]
     codec: ClassVar[mbc._MultibyteCodec] = ...
 
 class StreamWriter(Codec, mbc.MultibyteStreamWriter, codecs.StreamWriter):

{mypy_dev-2.4.0a2 → mypy_dev-2.4.0a3}/mypy/typeshed/stdlib/encodings/cp932.pyi

@@ -14,7 +14,7 @@ class IncrementalEncoder(mbc.MultibyteIncrementalEncoder, codecs.IncrementalEnco
 class IncrementalDecoder(mbc.MultibyteIncrementalDecoder, codecs.IncrementalDecoder):
     codec: ClassVar[mbc._MultibyteCodec] = ...
 
-class StreamReader(Codec, mbc.MultibyteStreamReader, codecs.StreamReader):  # type: ignore[misc]
+class StreamReader(Codec, mbc.MultibyteStreamReader, codecs.StreamReader):  # type: ignore[misc]  # pyrefly: ignore [inconsistent-inheritance]
     codec: ClassVar[mbc._MultibyteCodec] = ...
 
 class StreamWriter(Codec, mbc.MultibyteStreamWriter, codecs.StreamWriter):

{mypy_dev-2.4.0a2 → mypy_dev-2.4.0a3}/mypy/typeshed/stdlib/encodings/cp949.pyi

@@ -14,7 +14,7 @@ class IncrementalEncoder(mbc.MultibyteIncrementalEncoder, codecs.IncrementalEnco
 class IncrementalDecoder(mbc.MultibyteIncrementalDecoder, codecs.IncrementalDecoder):
     codec: ClassVar[mbc._MultibyteCodec] = ...
 
-class StreamReader(Codec, mbc.MultibyteStreamReader, codecs.StreamReader):  # type: ignore[misc]
+class StreamReader(Codec, mbc.MultibyteStreamReader, codecs.StreamReader):  # type: ignore[misc]  # pyrefly: ignore [inconsistent-inheritance]
     codec: ClassVar[mbc._MultibyteCodec] = ...
 
 class StreamWriter(Codec, mbc.MultibyteStreamWriter, codecs.StreamWriter):

{mypy_dev-2.4.0a2 → mypy_dev-2.4.0a3}/mypy/typeshed/stdlib/encodings/cp950.pyi

@@ -14,7 +14,7 @@ class IncrementalEncoder(mbc.MultibyteIncrementalEncoder, codecs.IncrementalEnco
 class IncrementalDecoder(mbc.MultibyteIncrementalDecoder, codecs.IncrementalDecoder):
     codec: ClassVar[mbc._MultibyteCodec] = ...
 
-class StreamReader(Codec, mbc.MultibyteStreamReader, codecs.StreamReader):  # type: ignore[misc]
+class StreamReader(Codec, mbc.MultibyteStreamReader, codecs.StreamReader):  # type: ignore[misc]  # pyrefly: ignore [inconsistent-inheritance]
     codec: ClassVar[mbc._MultibyteCodec] = ...
 
 class StreamWriter(Codec, mbc.MultibyteStreamWriter, codecs.StreamWriter):

{mypy_dev-2.4.0a2 → mypy_dev-2.4.0a3}/mypy/typeshed/stdlib/encodings/euc_jis_2004.pyi

@@ -14,7 +14,7 @@ class IncrementalEncoder(mbc.MultibyteIncrementalEncoder, codecs.IncrementalEnco
 class IncrementalDecoder(mbc.MultibyteIncrementalDecoder, codecs.IncrementalDecoder):
     codec: ClassVar[mbc._MultibyteCodec] = ...
 
-class StreamReader(Codec, mbc.MultibyteStreamReader, codecs.StreamReader):  # type: ignore[misc]
+class StreamReader(Codec, mbc.MultibyteStreamReader, codecs.StreamReader):  # type: ignore[misc]  # pyrefly: ignore [inconsistent-inheritance]
     codec: ClassVar[mbc._MultibyteCodec] = ...
 
 class StreamWriter(Codec, mbc.MultibyteStreamWriter, codecs.StreamWriter):

{mypy_dev-2.4.0a2 → mypy_dev-2.4.0a3}/mypy/typeshed/stdlib/encodings/euc_jisx0213.pyi

@@ -14,7 +14,7 @@ class IncrementalEncoder(mbc.MultibyteIncrementalEncoder, codecs.IncrementalEnco
 class IncrementalDecoder(mbc.MultibyteIncrementalDecoder, codecs.IncrementalDecoder):
     codec: ClassVar[mbc._MultibyteCodec] = ...
 
-class StreamReader(Codec, mbc.MultibyteStreamReader, codecs.StreamReader):  # type: ignore[misc]
+class StreamReader(Codec, mbc.MultibyteStreamReader, codecs.StreamReader):  # type: ignore[misc]  # pyrefly: ignore [inconsistent-inheritance]
     codec: ClassVar[mbc._MultibyteCodec] = ...
 
 class StreamWriter(Codec, mbc.MultibyteStreamWriter, codecs.StreamWriter):

{mypy_dev-2.4.0a2 → mypy_dev-2.4.0a3}/mypy/typeshed/stdlib/encodings/euc_jp.pyi

@@ -14,7 +14,7 @@ class IncrementalEncoder(mbc.MultibyteIncrementalEncoder, codecs.IncrementalEnco
 class IncrementalDecoder(mbc.MultibyteIncrementalDecoder, codecs.IncrementalDecoder):
     codec: ClassVar[mbc._MultibyteCodec] = ...
 
-class StreamReader(Codec, mbc.MultibyteStreamReader, codecs.StreamReader):  # type: ignore[misc]
+class StreamReader(Codec, mbc.MultibyteStreamReader, codecs.StreamReader):  # type: ignore[misc]  # pyrefly: ignore [inconsistent-inheritance]
     codec: ClassVar[mbc._MultibyteCodec] = ...
 
 class StreamWriter(Codec, mbc.MultibyteStreamWriter, codecs.StreamWriter):

{mypy_dev-2.4.0a2 → mypy_dev-2.4.0a3}/mypy/typeshed/stdlib/encodings/euc_kr.pyi

@@ -14,7 +14,7 @@ class IncrementalEncoder(mbc.MultibyteIncrementalEncoder, codecs.IncrementalEnco
 class IncrementalDecoder(mbc.MultibyteIncrementalDecoder, codecs.IncrementalDecoder):
     codec: ClassVar[mbc._MultibyteCodec] = ...
 
-class StreamReader(Codec, mbc.MultibyteStreamReader, codecs.StreamReader):  # type: ignore[misc]
+class StreamReader(Codec, mbc.MultibyteStreamReader, codecs.StreamReader):  # type: ignore[misc]  # pyrefly: ignore [inconsistent-inheritance]
     codec: ClassVar[mbc._MultibyteCodec] = ...
 
 class StreamWriter(Codec, mbc.MultibyteStreamWriter, codecs.StreamWriter):

{mypy_dev-2.4.0a2 → mypy_dev-2.4.0a3}/mypy/typeshed/stdlib/encodings/gb18030.pyi

@@ -14,7 +14,7 @@ class IncrementalEncoder(mbc.MultibyteIncrementalEncoder, codecs.IncrementalEnco
 class IncrementalDecoder(mbc.MultibyteIncrementalDecoder, codecs.IncrementalDecoder):
     codec: ClassVar[mbc._MultibyteCodec] = ...
 
-class StreamReader(Codec, mbc.MultibyteStreamReader, codecs.StreamReader):  # type: ignore[misc]
+class StreamReader(Codec, mbc.MultibyteStreamReader, codecs.StreamReader):  # type: ignore[misc]  # pyrefly: ignore [inconsistent-inheritance]
     codec: ClassVar[mbc._MultibyteCodec] = ...
 
 class StreamWriter(Codec, mbc.MultibyteStreamWriter, codecs.StreamWriter):

{mypy_dev-2.4.0a2 → mypy_dev-2.4.0a3}/mypy/typeshed/stdlib/encodings/gb2312.pyi

@@ -14,7 +14,7 @@ class IncrementalEncoder(mbc.MultibyteIncrementalEncoder, codecs.IncrementalEnco
 class IncrementalDecoder(mbc.MultibyteIncrementalDecoder, codecs.IncrementalDecoder):
     codec: ClassVar[mbc._MultibyteCodec] = ...
 
-class StreamReader(Codec, mbc.MultibyteStreamReader, codecs.StreamReader):  # type: ignore[misc]
+class StreamReader(Codec, mbc.MultibyteStreamReader, codecs.StreamReader):  # type: ignore[misc]  # pyrefly: ignore [inconsistent-inheritance]
     codec: ClassVar[mbc._MultibyteCodec] = ...
 
 class StreamWriter(Codec, mbc.MultibyteStreamWriter, codecs.StreamWriter):

{mypy_dev-2.4.0a2 → mypy_dev-2.4.0a3}/mypy/typeshed/stdlib/encodings/gbk.pyi

@@ -14,7 +14,7 @@ class IncrementalEncoder(mbc.MultibyteIncrementalEncoder, codecs.IncrementalEnco
 class IncrementalDecoder(mbc.MultibyteIncrementalDecoder, codecs.IncrementalDecoder):
     codec: ClassVar[mbc._MultibyteCodec] = ...
 
-class StreamReader(Codec, mbc.MultibyteStreamReader, codecs.StreamReader):  # type: ignore[misc]
+class StreamReader(Codec, mbc.MultibyteStreamReader, codecs.StreamReader):  # type: ignore[misc]  # pyrefly: ignore [inconsistent-inheritance]
     codec: ClassVar[mbc._MultibyteCodec] = ...
 
 class StreamWriter(Codec, mbc.MultibyteStreamWriter, codecs.StreamWriter):