Add typeguards to builtins equality

Author: George-Ogden

stdlib/builtins.pyi

@@ -630,7 +630,7 @@ class str(Sequence[str]):
     def __add__(self, value: str, /) -> str: ...  # type: ignore[misc]
     # Incompatible with Sequence.__contains__
     def __contains__(self, key: str, /) -> bool: ...  # type: ignore[override]
-    def __eq__(self, value: object, /) -> bool: ...
+    def __eq__(self, value: object, /) -> TypeGuard[str]: ...
     def __ge__(self, value: str, /) -> bool: ...
     @overload
     def __getitem__(self: LiteralString, key: SupportsIndex | slice[SupportsIndex | None], /) -> LiteralString: ...
@@ -753,7 +753,7 @@ class bytes(Sequence[int]):
     def __mod__(self, value: Any, /) -> bytes: ...
     # Incompatible with Sequence.__contains__
     def __contains__(self, key: SupportsIndex | ReadableBuffer, /) -> bool: ...  # type: ignore[override]
-    def __eq__(self, value: object, /) -> bool: ...
+    def __eq__(self, value: object, /) -> TypeGuard[bytes]: ...
     def __ne__(self, value: object, /) -> bool: ...
     def __lt__(self, value: bytes, /) -> bool: ...
     def __le__(self, value: bytes, /) -> bool: ...
@@ -1053,7 +1053,7 @@ class tuple(Sequence[_T_co]):
     def __le__(self, value: tuple[_T_co, ...], /) -> bool: ...
     def __gt__(self, value: tuple[_T_co, ...], /) -> bool: ...
     def __ge__(self, value: tuple[_T_co, ...], /) -> bool: ...
-    def __eq__(self, value: object, /) -> bool: ...
+    def __eq__(self, value: object, /) -> TypeGuard[tuple]: ...
     def __hash__(self) -> int: ...
     @overload
     def __add__(self, value: tuple[_T_co, ...], /) -> tuple[_T_co, ...]: ...
@@ -1168,7 +1168,7 @@ class list(MutableSequence[_T]):
     def __ge__(self, value: list[_T], /) -> bool: ...
     def __lt__(self, value: list[_T], /) -> bool: ...
     def __le__(self, value: list[_T], /) -> bool: ...
-    def __eq__(self, value: object, /) -> bool: ...
+    def __eq__(self, value: object, /) -> TypeGuard[list]: ...
     def __class_getitem__(cls, item: Any, /) -> GenericAlias: ...
 
 @disjoint_base
@@ -1236,7 +1236,7 @@ class dict(MutableMapping[_KT, _VT]):
     def __setitem__(self, key: _KT, value: _VT, /) -> None: ...
     def __delitem__(self, key: _KT, /) -> None: ...
     def __iter__(self) -> Iterator[_KT]: ...
-    def __eq__(self, value: object, /) -> bool: ...
+    def __eq__(self, value: object, /) -> TypeGuard[dict]: ...
     def __reversed__(self) -> Iterator[_KT]: ...
     __hash__: ClassVar[None]  # type: ignore[assignment]
     def __class_getitem__(cls, item: Any, /) -> GenericAlias: ...
@@ -1290,7 +1290,7 @@ class set(MutableSet[_T]):
     def __lt__(self, value: AbstractSet[object], /) -> bool: ...
     def __ge__(self, value: AbstractSet[object], /) -> bool: ...
     def __gt__(self, value: AbstractSet[object], /) -> bool: ...
-    def __eq__(self, value: object, /) -> bool: ...
+    def __eq__(self, value: object, /) -> TypeGuard[set]: ...
     __hash__: ClassVar[None]  # type: ignore[assignment]
     def __class_getitem__(cls, item: Any, /) -> GenericAlias: ...
 
@@ -1319,7 +1319,7 @@ class frozenset(AbstractSet[_T_co]):
     def __lt__(self, value: AbstractSet[object], /) -> bool: ...
     def __ge__(self, value: AbstractSet[object], /) -> bool: ...
     def __gt__(self, value: AbstractSet[object], /) -> bool: ...
-    def __eq__(self, value: object, /) -> bool: ...
+    def __eq__(self, value: object, /) -> TypeGuard[frozenset]: ...
     def __hash__(self) -> int: ...
     def __class_getitem__(cls, item: Any, /) -> GenericAlias: ...
 
@@ -1549,6 +1549,7 @@ help: _sitebuiltins._Helper
 def hex(number: SupportsIndex, /) -> str: ...
 def id(obj: object, /) -> int: ...
 def input(prompt: object = "", /) -> str: ...
+
 @type_check_only
 class _GetItemIterable(Protocol[_T_co]):
     def __getitem__(self, i: int, /) -> _T_co: ...
@@ -1574,6 +1575,7 @@ def len(obj: Sized, /) -> int: ...
 license: _sitebuiltins._Printer
 
 def locals() -> dict[str, Any]: ...
+
 @disjoint_base
 class map(Generic[_S]):
     # 3.14 adds `strict` argument.
@@ -1804,6 +1806,7 @@ def open(
     opener: _Opener | None = None,
 ) -> IO[Any]: ...
 def ord(c: str | bytes | bytearray, /) -> int: ...
+
 @type_check_only
 class _SupportsWriteAndFlush(SupportsWrite[_T_contra], SupportsFlush, Protocol[_T_contra]): ...
 
@@ -1945,6 +1948,7 @@ def sum(iterable: Iterable[_AddableT1], /, start: _AddableT2) -> _AddableT1 | _A
 def vars(object: type, /) -> types.MappingProxyType[str, Any]: ...
 @overload
 def vars(object: Any = ..., /) -> dict[str, Any]: ...
+
 @disjoint_base
 class zip(Generic[_T_co]):
     if sys.version_info >= (3, 10):