[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.

Start with the two minimal mypy --strict -c reproductions in the issue and compare how callable type inference handles same-line versus separate assignments. Trace the assignment and builtin handling in mypy, then verify that both examples, including conditional builtin assignment, type-check without reporting <nothing> not callable.