Fix regression for catching empty tuple in except (#21153)

Fixes #21152

Author: hauntsaninja

mypy/checker.py

@@ -5393,6 +5393,8 @@ def check_except_handler_test(self, n: Expression, is_star: bool) -> Type:
             if isinstance(ttype, AnyType):
                 all_types.append(ttype)
                 continue
+            if isinstance(ttype, UninhabitedType):
+                continue
 
             if isinstance(ttype, FunctionLike):
                 item = ttype.items[0]

test-data/unit/check-statements.test

@@ -802,7 +802,7 @@ def error_in_variadic(exc: Tuple[int, ...]) -> None:
 [builtins fixtures/tuple.pyi]
 
 [case testExceptWithMultipleTypes5]
-from typing import Tuple, Type, Union
+from typing import Tuple, Type, Union, Never
 
 class E1(BaseException): pass
 class E2(BaseException): pass
@@ -849,7 +849,38 @@ def error_in_tuple_union(exc: Tuple[Union[Type[E1], Type[E2]], Union[Type[E3], i
         pass
     except exc as e:  # E: Exception type must be derived from BaseException (or be a tuple of exception classes)
         pass
+[builtins fixtures/tuple.pyi]
+
+[case testExceptWithMultipleTypes6_no_parallel]
+# For no_parallel, see:
+# https://github.com/mypyc/ast_serialize/issues/50
+from typing import Never
+
+def random() -> bool: ...
+
+def error_in_empty_tuple() -> None:
+    try:
+        pass
+    except () as e:  # E: Need type annotation for "e"
+        pass
 
+def error_in_empty_tuple_annotated(exc: tuple[()]) -> None:
+    try:
+        pass
+    except exc as e:  # E: Need type annotation for "e"
+        pass
+
+def error_in_conditional_empty_tuple() -> None:
+    try:
+        pass
+    except (BaseException if random() else ()) as e:
+        pass
+
+def error_in_never(exc: Never) -> None:
+    try:
+        pass
+    except exc as e:  # E: Need type annotation for "e"
+        pass
 [builtins fixtures/tuple.pyi]
 
 [case testExceptWithAnyTypes]