fall to metaclass in overload

Author: elazarg

mypy/checkexpr.py

@@ -2651,8 +2651,12 @@ def overload_arg_similarity(actual: Type, formal: Type) -> int:
             else:
                 return 0
         elif isinstance(actual, TypeType):
+            item = actual.item
             if formal.type.fullname() in {"builtins.object", "builtins.type"}:
                 return 2
+            elif isinstance(item, Instance):
+                # FIX: this does not handle e.g. Union of instances
+                return overload_arg_similarity(item.type.metaclass_type, formal)
             else:
                 return 0
         else:

test-data/unit/check-classes.test

@@ -3290,6 +3290,24 @@ x3: M = cv
 
 [builtins fixtures/classmethod.pyi]
 
+[case testMetaclassOverloadResolution]
+from typing import Type, overload
+
+class EM(type): pass
+class E(metaclass=EM): pass
+
+@overload
+def f(x: EM) -> int: return 0
+@overload
+def f(x: str) -> str: return ''
+def f(x: object) -> object: return ''
+
+e1: EM
+reveal_type(f(e1))  # E: Revealed type is 'builtins.int'
+
+e2: Type[E]
+reveal_type(f(e2))  # E: Revealed type is 'builtins.int'
+
 -- Synthetic types crashes
 -- -----------------------