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.

Verwende die beiden Beispiele im Issue als Dokumentationsquelle: Vergleiche eine Deklaration mit einem Initialisierer mit einer späteren Zuweisung und erkläre das unterschiedliche Narrowing-Verhalten und warum das Überschreiben des inferierten Typs nützlich sein kann. Finde den passenden Abschnitt in der mypy-Dokumentation, füge die Erklärung dort hinzu und überprüfe, dass beide Beispiele und ihre inferierten Typen korrekt sind.