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.

issue 内の 2 つの例をドキュメントの情報源として使用します。初期化子を伴う宣言と、後続の代入を比較し、narrowing の挙動の違いと、推論された型を上書きすることが有用な理由を説明してください。mypy ドキュメント内の適切なセクションを見つけ、そこに説明を追加し、両方の例と推論された型が正確であることを確認してください。