Do not support metaclasses not inheriting from type (#2820)

Fix #2818.

ABCMeta requires special treatment.

Related: #2475

Author: elazarg

mypy/nodes.py

@@ -2024,7 +2024,7 @@ def calculate_metaclass_type(self) -> 'Optional[mypy.types.Instance]':
         return None
 
     def is_metaclass(self) -> bool:
-        return self.has_base('builtins.type')
+        return self.has_base('builtins.type') or self.fullname() == 'abc.ABCMeta'
 
     def _calculate_is_enum(self) -> bool:
         """

mypy/semanal.py

@@ -966,6 +966,9 @@ def analyze_metaclass(self, defn: ClassDef) -> None:
             if not isinstance(sym.node, TypeInfo) or sym.node.tuple_type is not None:
                 self.fail("Invalid metaclass '%s'" % defn.metaclass, defn)
                 return
+            if not sym.node.is_metaclass():
+                self.fail("Metaclasses not inheriting from 'type' are not supported", defn)
+                return
             inst = fill_typevars(sym.node)
             assert isinstance(inst, Instance)
             defn.info.declared_metaclass = inst

test-data/unit/check-classes.test

@@ -2770,9 +2770,9 @@ class B(A, metaclass=Y): pass  # E: Inconsistent metaclass structure for 'B'
 class M:
     x = 0  # type: int
 
-class A(metaclass=M): pass
+class A(metaclass=M): pass  # E: Metaclasses not inheriting from 'type' are not supported
 
-reveal_type(A.x)  # E: Revealed type is 'builtins.int'
+A.x  # E: "A" has no attribute "x"
 
 [case testMetaclassTypeReveal]
 from typing import Type
@@ -2785,6 +2785,14 @@ def f(TA: Type[A]):
     reveal_type(TA)  # E: Revealed type is 'Type[__main__.A]'
     reveal_type(TA.x)  # E: Revealed type is 'builtins.int'
 
+[case testSubclassMetaclass]
+class M1(type):
+    x = 0
+class M2(M1): pass
+class C(metaclass=M2):
+    pass
+reveal_type(C.x) # E: Revealed type is 'builtins.int'
+
 [case testMetaclassSubclass]
 from typing import Type
 class M(type):
@@ -2822,4 +2830,4 @@ from typing import Tuple
 class M(Tuple[int]): pass
 class C(metaclass=M): pass  # E: Invalid metaclass 'M'
 
-[builtins fixtures/tuple.pyi]
+[builtins fixtures/tuple.pyi]