Document type inference behavior in case type declaration has (not) initializer

In cases like this mypy doesn't narrow down the type in assignment:

x: Union[int, str] = 0
# type of x is Union[int, str] here!

Any assignment after the initial declaration will narrow the type down:

x: Union[int, str]
x = 0
# type of x is int here!

Document this behavior since it can be surprising. The motivation for this is that this behavior makes it easy to override the inferred type for a variable, which is sometimes useful.

Utilisez les deux exemples de l’issue comme source de documentation : comparez une déclaration avec un initialiseur à une affectation ultérieure, et expliquez la différence de comportement du narrowing ainsi que les raisons pour lesquelles il peut être utile de remplacer le type inféré. Repérez la section appropriée de la documentation de mypy, ajoutez-y l’explication et vérifiez que les deux exemples et leurs types inférés sont corrects.