fix: modify current_type if not uninhabited

python · Nov 7, 2024 · 4cd8a8c · 4cd8a8c
1 parent 78fb78b
commit 4cd8a8c
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/mypy/checkpattern.py b/mypy/checkpattern.py
@@ -158,7 +158,8 @@ def visit_or_pattern(self, o: OrPattern) -> PatternType:
         for pattern in o.patterns:
             pattern_type = self.accept(pattern, current_type)
             pattern_types.append(pattern_type)
-            current_type = pattern_type.rest_type
+            if not is_uninhabited(pattern_type.type):
+                current_type = pattern_type.rest_type
 
         #
         # Collect the final type