commit 5

Author: jonathandung

stdlib/typing.pyi

@@ -411,10 +411,10 @@ _FT = TypeVar("_FT", bound=Callable[..., Any] | type)
 
 # These type variables are used by the container types.
 _S = TypeVar("_S")
-_KT = TypeVar("_KT")  # Key type.
+_KT = TypeVar("_KT", bound=Hashable)  # Key type.
 _VT = TypeVar("_VT")  # Value type.
 _T_co = TypeVar("_T_co", covariant=True)  # Any type covariant containers.
-_KT_co = TypeVar("_KT_co", covariant=True)  # Key type covariant containers.
+_KT_co = TypeVar("_KT_co", bound=Hashable, covariant=True)  # Key type covariant containers.
 _VT_co = TypeVar("_VT_co", covariant=True)  # Value type covariant containers.
 _TC = TypeVar("_TC", bound=type[object])
 
@@ -713,37 +713,37 @@ class MutableSequence(Sequence[_T]):
     def remove(self, value: _T, /) -> None: ...
     def __iadd__(self, values: Iterable[_T], /) -> typing_extensions.Self: ...
 
-class AbstractSet(Collection[_T_co]):
+class AbstractSet(Collection[_KT_co]):
     @abstractmethod
     def __contains__(self, x: object, /) -> bool: ...
     def _hash(self) -> int: ...
     # Mixin methods
     @classmethod
-    def _from_iterable(cls, it: Iterable[_S], /) -> AbstractSet[_S]: ...
-    def __le__(self, other: AbstractSet[Any], /) -> bool: ...
-    def __lt__(self, other: AbstractSet[Any], /) -> bool: ...
-    def __gt__(self, other: AbstractSet[Any], /) -> bool: ...
-    def __ge__(self, other: AbstractSet[Any], /) -> bool: ...
-    def __and__(self, other: AbstractSet[Any], /) -> AbstractSet[_T_co]: ...
-    def __or__(self, other: AbstractSet[_T], /) -> AbstractSet[_T_co | _T]: ...
-    def __sub__(self, other: AbstractSet[Any], /) -> AbstractSet[_T_co]: ...
-    def __xor__(self, other: AbstractSet[_T], /) -> AbstractSet[_T_co | _T]: ...
+    def _from_iterable(cls, it: Iterable[_KT_co], /) -> AbstractSet[_KT_co]: ...
+    def __le__(self, other: AbstractSet[Hashable], /) -> bool: ...
+    def __lt__(self, other: AbstractSet[Hashable], /) -> bool: ...
+    def __gt__(self, other: AbstractSet[Hashable], /) -> bool: ...
+    def __ge__(self, other: AbstractSet[Hashable], /) -> bool: ...
+    def __and__(self, other: AbstractSet[Hashable], /) -> AbstractSet[_KT_co]: ...
+    def __or__(self, other: AbstractSet[_KT], /) -> AbstractSet[_KT_co | _KT]: ...
+    def __sub__(self, other: AbstractSet[Hashable], /) -> AbstractSet[_T_co]: ...
+    def __xor__(self, other: AbstractSet[_KT], /) -> AbstractSet[_KT_co | _KT]: ...
     def __eq__(self, other: object, /) -> bool: ...
-    def isdisjoint(self, other: Iterable[Any], /) -> bool: ...
+    def isdisjoint(self, other: Iterable[Hashable], /) -> bool: ...
 
-class MutableSet(AbstractSet[_T]):
+class MutableSet(AbstractSet[_KT]):
     @abstractmethod
-    def add(self, value: _T, /) -> None: ...
+    def add(self, value: _KT, /) -> None: ...
     @abstractmethod
-    def discard(self, value: _T, /) -> None: ...
+    def discard(self, value: _KT, /) -> None: ...
     # Mixin methods
     def clear(self) -> None: ...
-    def pop(self) -> _T: ...
-    def remove(self, value: _T, /) -> None: ...
-    def __ior__(self, it: AbstractSet[_T], /) -> typing_extensions.Self: ...  # type: ignore[override,misc]
-    def __iand__(self, it: AbstractSet[Any], /) -> typing_extensions.Self: ...
-    def __ixor__(self, it: AbstractSet[_T], /) -> typing_extensions.Self: ...  # type: ignore[override,misc]
-    def __isub__(self, it: AbstractSet[Any], /) -> typing_extensions.Self: ...
+    def pop(self) -> _KT: ...
+    def remove(self, value: _KT, /) -> None: ...
+    def __ior__(self, it: AbstractSet[_KT], /) -> typing_extensions.Self: ...  # type: ignore[override,misc]
+    def __iand__(self, it: AbstractSet[Hashable], /) -> typing_extensions.Self: ...
+    def __ixor__(self, it: AbstractSet[_KT], /) -> typing_extensions.Self: ...  # type: ignore[override,misc]
+    def __isub__(self, it: AbstractSet[Hashable], /) -> typing_extensions.Self: ...
 
 class MappingView(Sized):
     __slots__ = ("_mapping",)