fix: modify current_type if not uninhabited

shenyih0ng · shenyih0ng · commit 4cd8a8c22647 · 2024-11-07T16:40:24.000+08:00
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

Original file line number	Diff line number	Diff line change
`@@ -158,7 +158,8 @@ def visit_or_pattern(self, o: OrPattern) -> PatternType:`
`158`	`158`	`for pattern in o.patterns:`
`159`	`159`	`pattern_type = self.accept(pattern, current_type)`
`160`	`160`	`pattern_types.append(pattern_type)`
`161`		`- current_type = pattern_type.rest_type`
	`161`	`+ if not is_uninhabited(pattern_type.type):`
	`162`	`+ current_type = pattern_type.rest_type`
`162`	`163`
`163`	`164`	`#`
`164`	`165`	`# Collect the final type`