Make copy.replace more strongly typed

Author: decorator-factory

stdlib/copy.pyi

@@ -1,15 +1,17 @@
 import sys
 from typing import Any, Protocol, TypeVar, type_check_only
+from typing_extensions import ParamSpec
 
 __all__ = ["Error", "copy", "deepcopy"]
 
 _T = TypeVar("_T")
 _RT_co = TypeVar("_RT_co", covariant=True)
+_P = ParamSpec("_P")
 
 @type_check_only
-class _SupportsReplace(Protocol[_RT_co]):
+class _SupportsReplace(Protocol[_P, _RT_co]):
     # In reality doesn't support args, but there's no great way to express this.
-    def __replace__(self, /, *_: Any, **changes: Any) -> _RT_co: ...
+    def __replace__(self, /, *_: _P.args, **changes: _P.kwargs) -> _RT_co: ...
 
 # None in CPython but non-None in Jython
 PyStringMap: Any
@@ -20,8 +22,12 @@ def copy(x: _T) -> _T: ...
 
 if sys.version_info >= (3, 13):
     __all__ += ["replace"]
-    # The types accepted by `**changes` match those of `obj.__replace__`.
-    def replace(obj: _SupportsReplace[_RT_co], /, **changes: Any) -> _RT_co: ...
+
+    def replace(
+        obj: _SupportsReplace[_P, _RT_co], /,
+        *_: _P.args,  # does not accept positional arguments at runtime
+        **changes: _P.kwargs,
+    ) -> _RT_co: ...
 
 class Error(Exception): ...