Missing get_proper_type

python · sterliakov · May 29, 2025 · May 29, 2025 · Jun 1, 2025 · Jun 1, 2025
commit a17a313592fd82baaf3c8dde8745f9fce87c8a5d
diff --git a/mypy/checker.py b/mypy/checker.py
@@ -2215,10 +2215,6 @@ def check_method_override_for_base_with_name(
                 # Will always fail to typecheck below, since we know the node is a method
                 original_type = NoneType()
 
-        if name == "__hash__" and isinstance(original_type, NoneType):
-            # Allow defining `__hash__` even if parent class was explicitly made unhashable
-            return False
-
         always_allow_covariant = False
         if is_settable_property(defn) and (
             is_settable_property(original_node) or isinstance(original_node, Var)
@@ -2242,6 +2238,10 @@ def check_method_override_for_base_with_name(
         typ = get_proper_type(typ)
         original_type = get_proper_type(original_type)
 
+        if name == "__hash__" and isinstance(original_type, NoneType):
+            # Allow defining `__hash__` even if parent class was explicitly made unhashable
+            return False
+
         if (
             is_property(defn)
             and isinstance(original_node, Var)