Do not attempt to track matches if the match variable contains an Any

PiperOrigin-RevId: 605115451
google · Feb 8, 2024 · b2351e1 · b2351e1
1 parent dd6df8d
commit b2351e1
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/pytype/pattern_matching.py b/pytype/pattern_matching.py
@@ -165,7 +165,10 @@ def __init__(self, match_var, ctx):
     self.is_valid: bool = True
 
     for d in match_var.data:
-      if isinstance(d, abstract.Instance):
+      if isinstance(d, abstract.Unsolvable):
+        self.is_valid = False
+        self.could_contain_anything = True
+      elif isinstance(d, abstract.Instance):
         self.options.add_instance(d)
       else:
         self.options.add_type(d)