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.

Usa i due esempi nell’issue come fonte per la documentazione: confronta una dichiarazione con un inizializzatore con un’assegnazione successiva e spiega il diverso comportamento del narrowing e perché può essere utile sovrascrivere il tipo inferito. Individua la sezione appropriata della documentazione di mypy, aggiungi lì la spiegazione e verifica che entrambi gli esempi e i relativi tipi inferiti siano corretti.