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

Comienza con las dos reproducciones mínimas de mypy --strict -c del issue y compara cómo la inferencia de tipos de callable gestiona las asignaciones en la misma línea frente a las asignaciones separadas. Sigue el tratamiento de las asignaciones y los builtins en mypy y verifica después que ambos ejemplos, incluida la asignación condicional de un builtin, pasan la comprobación de tipos sin informar de <nothing> not callable.