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

Commencez par les deux reproductions minimales de mypy --strict -c dans l’issue et comparez la manière dont l’inférence de types des callable traite les affectations sur la même ligne par rapport aux affectations séparées. Suivez la gestion des affectations et des builtins dans mypy, puis vérifiez que les deux exemples, y compris l’affectation conditionnelle d’un builtin, passent la vérification de types sans signaler <nothing> not callable.