Checking elements of a `list[str | None]` after discarding the possibility of `None`

Bug Report

str_none: list[str | None]
only_str: list[str]
for i in range(len(sequence)):
    if sequence[i] is not None:
        only_str.append(sequence[i]) # Here mypy raises an error due to "incompatible types"

The code above raises the following error Argument 1 to "append" of "list" has incompatible type "str | None"; expected "str".

I've found the following verbose workaround but to my taste its :

str_none: list[str | None]
only_str: list[str]
for i in range(len(sequence)):
    element = sequence[i]
    if element is not None:
        only_str.append(element)

To Reproduce

See code example above.

Expected Behavior

I'm expecting mypy to be able to predict future annotations of sequences with multiple types possible after discarding a specific type in a condition.

Actual Behavior

All is included above.

Your Environment

• Mypy version used: 1.5.1
• Mypy command-line flags: both --strict and none
• Mypy configuration options from mypy.ini (and other config files):
• Python version used: 3.11.5

Bắt đầu bằng cách chạy trình tái hiện tối thiểu từ issue với mypy 1.5.1, sau đó theo dõi hành vi thu hẹp kiểu đối với việc truy cập chuỗi bằng chỉ mục. Công việc được coi là hoàn tất khi ví dụ chấp nhận phần tử đã được thu hẹp mà không cần workaround biến cục bộ dài dòng, với một bài kiểm thử hồi quy bao quát trường hợp đã báo cáo.