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.

Sử dụng hai ví dụ trong issue làm nguồn tài liệu: so sánh một khai báo có trình khởi tạo với một phép gán sau đó, đồng thời giải thích hành vi narrowing khác nhau và lý do việc ghi đè kiểu được suy luận có thể hữu ích. Xác định phần thích hợp trong tài liệu mypy, thêm phần giải thích vào đó và xác minh rằng cả hai ví dụ cùng các kiểu được suy luận của chúng đều chính xác.