allow arbirary types in set.discard

Author: randolf-scholz

stdlib/@tests/test_cases/builtins/check_set.py

@@ -12,3 +12,7 @@ def test_set_difference(x: set[Literal["foo", "bar"]], y: set[str], z: set[int])
     assert_type(z - x, set[int])
     assert_type(y - z, set[str])
     assert_type(z - y, set[int])
+
+
+def test_set_discard(x: set[Literal["foo", "bar"]], key: str) -> None:
+    x.discard(key)  # OK

stdlib/builtins.pyi

@@ -1264,7 +1264,7 @@ class set(MutableSet[_T]):
     def copy(self) -> set[_T]: ...
     def difference(self, *s: Iterable[Any]) -> set[_T]: ...
     def difference_update(self, *s: Iterable[Any]) -> None: ...
-    def discard(self, element: _T, /) -> None: ...
+    def discard(self, element: object, /) -> None: ...
     def intersection(self, *s: Iterable[Any]) -> set[_T]: ...
     def intersection_update(self, *s: Iterable[Any]) -> None: ...
     def isdisjoint(self, s: Iterable[Any], /) -> bool: ...

stdlib/typing.pyi

@@ -716,7 +716,7 @@ class MutableSet(AbstractSet[_T]):
     @abstractmethod
     def add(self, value: _T) -> None: ...
     @abstractmethod
-    def discard(self, value: _T) -> None: ...
+    def discard(self, value: Any) -> None: ...
     # Mixin methods
     def clear(self) -> None: ...
     def pop(self) -> _T: ...