Fix case Any() in match statement (#14479)

Fixes #14477
python · Sep 2, 2023 · 6884aa2 · 6884aa2
1 parent 17e9e22
commit 6884aa2
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 0 deletions.
diff --git a/mypy/checkpattern.py b/mypy/checkpattern.py
@@ -462,6 +462,12 @@ def visit_class_pattern(self, o: ClassPattern) -> PatternType:
             typ: Type = Instance(type_info, [any_type] * len(type_info.defn.type_vars))
         elif isinstance(type_info, TypeAlias):
             typ = type_info.target
+        elif (
+            isinstance(type_info, Var)
+            and type_info.type is not None
+            and isinstance(get_proper_type(type_info.type), AnyType)
+        ):
+            typ = type_info.type
         else:
             if isinstance(type_info, Var) and type_info.type is not None:
                 name = type_info.type.str_with_options(self.options)

diff --git a/test-data/unit/check-python310.test b/test-data/unit/check-python310.test
@@ -896,6 +896,16 @@ match m:
         reveal_type(i)
         reveal_type(j)
 
+[case testMatchClassPatternAny]
+from typing import Any
+
+Foo: Any
+m: object
+
+match m:
+    case Foo():
+        pass
+
 [case testMatchClassPatternNestedGenerics]
 # From cpython test_patma.py
 x = [[{0: 0}]]