remove eq

Author: hauntsaninja

mypy/checker.py

@@ -8925,7 +8925,6 @@ def reduce_and_conditional_type_maps(ms: list[TypeMap], *, use_meet: bool) -> Ty
 
 
 BUILTINS_CUSTOM_EQ_CHECKS: Final = {
-    "builtins.frozenset",
     "_collections_abc.dict_keys",
     "_collections_abc.dict_items",
 }

test-data/unit/pythoneval.test

@@ -2214,6 +2214,7 @@ reveal_type(d1 | d2)
 _testDictOrUnionEdgeCases.py:10: note: Revealed type is "dict[str, dict[str, ... | int] | int]"
 
 [case testNarrowingMappingAndAbstractSet]
+# flags: --strict-equality --warn-unreachable
 from typing import Mapping, AbstractSet
 
 def f1(x: Mapping[str, int]) -> None:
@@ -2229,8 +2230,15 @@ def f2(x: AbstractSet[int]) -> None:
 
     if x == set():
         reveal_type(x)
-[out]
-_testNarrowingMappingAndAbstractSet.py:5: note: Revealed type is "dict[Any, Any]"
-_testNarrowingMappingAndAbstractSet.py:8: note: Revealed type is "typing.Mapping[str, int]"
-_testNarrowingMappingAndAbstractSet.py:12: note: Revealed type is "set[Any]"
-_testNarrowingMappingAndAbstractSet.py:15: note: Revealed type is "typing.AbstractSet[int]"
+
+def f3(x: frozenset[str], y: set[str]):
+    if x == y:
+        reveal_type(x)
+        reveal_type(y)
+[out]
+_testNarrowingMappingAndAbstractSet.py:6: note: Revealed type is "dict[Any, Any]"
+_testNarrowingMappingAndAbstractSet.py:9: note: Revealed type is "typing.Mapping[str, int]"
+_testNarrowingMappingAndAbstractSet.py:13: note: Revealed type is "set[Any]"
+_testNarrowingMappingAndAbstractSet.py:16: note: Revealed type is "typing.AbstractSet[int]"
+_testNarrowingMappingAndAbstractSet.py:20: note: Revealed type is "frozenset[str]"
+_testNarrowingMappingAndAbstractSet.py:21: note: Revealed type is "set[str]"