Ensure that <Never>() is Never

Author: A5rocks

mypy/checkexpr.py

@@ -1638,6 +1638,9 @@ def check_call(
                 object_type,
                 original_type=callee,
             )
+        elif isinstance(callee, UninhabitedType):
+            self.infer_arg_types_in_empty_context(args)
+            return (UninhabitedType(), UninhabitedType())
         else:
             return self.msg.not_callable(callee, context), AnyType(TypeOfAny.from_error)
 

test-data/unit/check-expressions.test

@@ -1506,7 +1506,7 @@ z = x.append(y) if bool() else x.append(y) # E: "append" of "list" does not retu
 from typing import TypeVar
 T = TypeVar("T", int, str)
 def foo(x: T) -> T:
-    return x + 1 if isinstance(x, int) else x + "a"  # E: "Never" not callable
+    return x + 1 if isinstance(x, int) else x + "a"
 [builtins fixtures/isinstancelist.pyi]
 
 -- Special cases

test-data/unit/check-isinstance.test

@@ -736,7 +736,7 @@ while bool():
     # TODO: only report unreachability once
     elif isinstance(x, str):  # E: Statement is unreachable
         _ = "unreachable"  # E: Statement is unreachable
-        x + 'a'  # E: "Never" not callable
+        x + 'a'
         break
     _ = "unreachable"  # E: Statement is unreachable
 x + [1]               # E: Unsupported operand types for + ("int" and "List[int]") \
@@ -1273,8 +1273,7 @@ if isinstance(y, int) and isinstance(x, B):  # E: Subclass of "A" and "int" cann
                                              # E: Right operand of "and" is never evaluated
     _ = "unreachable"  # E: Statement is unreachable
 if isinstance(y, int) and y > 42:  # E: Subclass of "A" and "int" cannot exist: would have incompatible method signatures \
-                                   # E: Right operand of "and" is never evaluated \
-                                   # E: "Never" not callable
+                                   # E: Right operand of "and" is never evaluated
     _ = "unreachable"  # E: Statement is unreachable
 [builtins fixtures/isinstancelist.pyi]
 
@@ -2427,8 +2426,7 @@ class B:
 
     def t0(self) -> None:
         if isinstance(self, A0):        # E: Subclass of "B" and "A0" cannot exist: would have incompatible method signatures
-            x0: Literal[0] = self.f()   # E: Statement is unreachable \
-                                        # E: "Never" not callable
+            x0: Literal[0] = self.f()   # E: Statement is unreachable
 
     def t1(self) -> None:
         if isinstance(self, A1):

test-data/unit/check-optional.test

@@ -585,7 +585,7 @@ x is not None and x + '42'  # E: Unsupported operand types for + ("int" and "str
 from typing import Optional
 
 x: None = None
-x is not None and x + 42  # E: "Never" not callable
+x is not None and x + 42
 [builtins fixtures/isinstance.pyi]
 
 [case testOptionalLambdaInference]