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

まず issue の最小再現例を mypy 1.5.1 で実行し、次に、インデックスによるシーケンスアクセスに対する型の絞り込みの挙動を追跡します。ローカル変数を使う冗長な回避策なしで、例が絞り込まれた要素を受け入れ、報告されたケースを対象とするリグレッションテストが含まれていれば完了です。