Always type check arguments when using --disallow-untyped-calls (python#9510)

JukkaL · JukkaL · commit 498769b55316 · 2020-09-30T16:46:55.000+01:00
Fixes python#9509.
diff --git a/mypy/checkexpr.py b/mypy/checkexpr.py
@@ -314,7 +314,7 @@ def visit_call_expr_inner(self, e: CallExpr, allow_none_return: bool = False) ->
                 self.chk.in_checked_function() and
                 isinstance(callee_type, CallableType)
                 and callee_type.implicit):
-            return self.msg.untyped_function_call(callee_type, e)
+            self.msg.untyped_function_call(callee_type, e)
         # Figure out the full name of the callee for plugin lookup.
         object_type = None
         member = None
diff --git a/test-data/unit/check-flags.test b/test-data/unit/check-flags.test
@@ -1575,3 +1575,12 @@ def bad_return_type() -> str:
     return None  # E: Incompatible return value type (got "None", expected "str")  [return-value]
 
 bad_return_type('no args taken!')
+
+[case testDisallowUntypedCallsArgType]
+# flags: --disallow-untyped-calls
+def f(x):
+    pass
+
+y = 1
+f(reveal_type(y)) # E: Call to untyped function "f" in typed context \
+                  # N: Revealed type is 'builtins.int'
