Generate dataclasses __hash__ accroding to runtime semantics

Author: sterliakov

mypy/plugins/dataclasses.py

@@ -247,6 +247,7 @@ def transform(self) -> bool:
             "order": self._get_bool_arg("order", self._spec.order_default),
             "frozen": self._get_bool_arg("frozen", self._spec.frozen_default),
             "slots": self._get_bool_arg("slots", False),
+            "unsafe_hash": self._get_bool_arg("unsafe_hash", False),
             "match_args": self._get_bool_arg("match_args", True),
         }
         py_version = self._api.options.python_version
@@ -291,6 +292,14 @@ def transform(self) -> bool:
                 self._api, self._cls, "__init__", args=args, return_type=NoneType()
             )
 
+        if "__hash__" not in info.names or info.names["__hash__"].plugin_generated:
+            # Presence of __hash__ usually isn't checked. However, when inheriting from
+            # an abstract Hashable, we need to override the abstract __hash__ to avoid
+            # false positives.
+            self._add_dunder_hash(
+                is_hashable=decorator_arguments["unsafe_hash"] or decorator_arguments["frozen"]
+            )
+
         if (
             decorator_arguments["eq"]
             and info.get("__eq__") is None
@@ -446,6 +455,29 @@ def _add_internal_post_init_method(self, attributes: list[DataclassAttribute]) -
             return_type=NoneType(),
         )
 
+    def _add_dunder_hash(self, is_hashable: bool) -> None:
+        if is_hashable:
+            add_method_to_class(
+                self._api,
+                self._cls,
+                "__hash__",
+                args=[],
+                return_type=self._api.named_type("builtins.int"),
+            )
+        else:
+            # Python sets `__hash__ = None` otherwise, do the same.
+            parent_method = self._cls.info.get_method("__hash__")
+            if parent_method is not None:
+                # If we inherited `__hash__`, ensure it isn't overridden
+                self._api.fail(
+                    "Incompatible override of '__hash__': dataclasses without"
+                    " 'frozen' or 'unsafe_hash' have '__hash__' set to None",
+                    self._cls,
+                )
+            add_attribute_to_class(
+                self._api, self._cls, "__hash__", typ=NoneType(), is_classvar=True
+            )
+
     def add_slots(
         self, info: TypeInfo, attributes: list[DataclassAttribute], *, correct_version: bool
     ) -> None:

test-data/unit/check-dataclasses.test

@@ -2610,3 +2610,29 @@ class B2(B1):  # E: A NamedTuple cannot be a dataclass
     pass
 
 [builtins fixtures/tuple.pyi]
+
+[case testDataclassHash]
+from abc import ABC, abstractmethod
+import dataclasses
+
+class Hashable(ABC):
+    @abstractmethod
+    def __hash__(self) -> int:
+        ...
+
+@dataclasses.dataclass(frozen=True)
+class Good(Hashable):
+    a: int
+
+@dataclasses.dataclass(unsafe_hash=True)
+class AlsoGood(Hashable):
+    a: int
+
+@dataclasses.dataclass()
+class Bad(Hashable):  # E: Incompatible override of '__hash__': dataclasses without 'frozen' or 'unsafe_hash' have '__hash__' set to None
+    a: int
+
+Good(4)
+AlsoGood(4)
+Bad(4)
+[builtins fixtures/tuple.pyi]