Detect Any used as a metaclass #13599
Description
Right now there's an inconsistency in how base classes / metaclasses behave when working with Any.
Example:
from typing import Any
MyAny: Any = type('MyAny', (type,), {'a': 1})
class Subclass(MyAny):
pass
class WithMeta(metaclass=MyAny):
pass
reveal_type(Subclass.a) # N: Revealed type is "Any"
reveal_type(WithMeta.a) # E: "Type[WithMeta]" has no attribute "a" \
# N: Revealed type is "Any"Both Subclass.a and WithMeta.a return 1 in runtime. But, for some reason metaclass=Any is not recognised.
It even has an existing TODO item:
Lines 2076 to 2082 in dfbaff7
But, it was never implemented. I would love to fix it.
Related: