Local type inference of numeric variables

I have a very simple example program that produces surprising and (I think...) wrong behavior:

foo = 0

foo = 1.0

Running mypy against this file yields

test.py:3: error: Incompatible types in assignment (expression has type "float", variable has type "int")

But foo could(/should) be inferred as a float in this environment. I draw this conclusion from PEP-484

when an argument is annotated as having type float, an argument of type int is acceptable

(although this is not about function arguments per se).

I know that some improvements have been recently been made to type inference in 0.770 to use information from second (or subsequent) assignments, rather than just the first assignment. So maybe a widening from int to float could be implemented in the same way...?

Reproduce el comportamiento con el ejemplo test.py usando mypy; después, inspecciona los cambios locales de inferencia de tipos mencionados para la versión 0.770 y la guía pertinente de PEP-484. La tarea estará terminada cuando se haya determinado si una variable a la que se asigna un int puede ampliarse posteriormente a float y se incluya cobertura para el comportamiento de asignación resultante.