--disallow-untyped-calls allows calling values with Any type

The calls to f and ff below aren't rejected when using --disallow-untyped-calls, even though I believe that they should be:

from typing import Any

from non_existent import f  # type: ignore  # Not in the build

def g(): pass

def h() -> None:
    g(asdf=1)  # Error: Call to untyped function "g" in typed context
    f(asdf=1)  # No error reported, but this is untyped
    ff: Any
    ff()  # No error reported, and again this in untyped

At the very least the first call should probably be caught. If non_existent gets added in the build with no type annotations, it would start generating errors. However, I'd expect that adding a module to the build should result in fewer Any-related errors, not more.

Marking this a high priority since I've been bit by this twice in production code.

--disallow-untyped-calls を指定して issue の Python 例を再現し、その後、import された値および明示的に Any 型が付けられた値を介した呼び出しがどのようにチェックされるかを追跡する。f と ff への呼び出しが拒否され、g に対する既存の診断が変更されなければ完了とする。payload には、開始時に使用するソースファイルもテストも指定されていない。