Fix issue 7478

python · JukkaL · Sep 16, 2019 · Sep 12, 2019 · Sep 12, 2019 · Sep 12, 2019
commit 9c03a89c7d42a6af355f891c003022e3e8101934
diff --git a/mypy/checkexpr.py b/mypy/checkexpr.py
@@ -282,6 +282,10 @@ def visit_call_expr_inner(self, e: CallExpr, allow_none_return: bool = False) ->
                 if is_expr_literal_type(typ):
                     self.msg.cannot_use_function_with_type(e.callee.name, "Literal", e)
                     continue
+                if isinstance(node.node.target, AnyType):
+                    self.msg.cannot_use_function_with_type(
+                        e.callee.name, "Any", e)
+                    continue
                 if ((isinstance(typ, IndexExpr)
                         and isinstance(typ.analyzed, (TypeApplication, TypeAliasExpr)))
                         or (isinstance(typ, NameExpr) and node and

diff --git a/test-data/unit/check-isinstance.test b/test-data/unit/check-isinstance.test
@@ -1753,6 +1753,12 @@ isinstance(x, (int, (str, Iterable[int])))  # E: Parameterized generics cannot b
 [builtins fixtures/isinstancelist.pyi]
 [typing fixtures/typing-full.pyi]
 
+[case testIsinstanceAnyAlias]
+from typing import Any
+A = Any
+isinstance(object(), A)  # E: Cannot use isinstance() with a Any type
+[builtins fixtures/isinstance.pyi]
+
 [case testIsinstanceTypeArgsAliases]
 from typing import Iterable, TypeVar
 x = 1