[bug] Assigning a builtin to a Callable changes its type to '<nothing>'

$ python --version                                                                                                                                 
Python 3.7.2

$ mypy --version
mypy 0.730+dev.8782ae7f789ad5b8cab97d3c8419f9f98b6eb285

Assigning a builtin to a Callable on the same line as the type declaration works, but doing so on separate lines does not:

$ mypy --strict -c "from typing import Callable, Any; cast: Callable[[Any], Any] = str; cast(5)"
Success: no issues found in 1 source file
$ mypy --strict -c "from typing import Callable, Any; cast: Callable[[Any], Any]; cast = str; cast(5)"
<string>:1: error: <nothing> not callable
Found 1 error in 1 file (checked 1 source file)

This becomes a problem when trying to assign builtins conditionally. Assigning lambda x: str(x) is a workaround, but is rather a hack.

Beginne mit den zwei minimalen mypy --strict -c-Reproduktionen im Issue und vergleiche, wie die Callable-Typinferenz Zuweisungen in derselben Zeile gegenüber getrennten Zuweisungen behandelt. Verfolge die Behandlung von Zuweisungen und Builtins in mypy und überprüfe anschließend, dass beide Beispiele, einschließlich der bedingten builtin-Zuweisung, eine Typprüfung ohne Meldung von <nothing> not callable bestehen.