copy.replace regression test for asymmetric __replace__

Author: jorenham

stdlib/@tests/test_cases/check_copy.py

@@ -2,6 +2,7 @@
 
 import copy
 import sys
+from typing import Any, Generic, TypeVar
 from typing_extensions import Self, assert_type
 
 
@@ -19,3 +20,20 @@ def __replace__(self, val: int) -> Self:
     obj = ReplaceableClass(42)
     cpy = copy.replace(obj, val=23)
     assert_type(cpy, ReplaceableClass)
+
+
+_T_co = TypeVar("_T_co", covariant=True)
+
+
+class Box(Generic[_T_co]):
+    def __init__(self, value: _T_co, /) -> None:
+        self.value = value
+
+    def __replace__(self, value: Any) -> Box[Any]:
+        return Box(value)
+
+
+if sys.version_info >= (3, 13):
+    box1: Box[int] = Box(42)
+    box2 = copy.replace(box1, val="spam")
+    assert_type(box2, Box[Any])