mypy cannot decide if a cast is necessary or redundant

Bug Report

Here a case where mypy says a cast is redundant, but if you remove the cast, mypy cannot infer the right type.

To Reproduce

Gist
Playground

Expected Behavior
Either no error with the cast or no error without the cast.

Actual Behavior
Using a type cast, mypy says it's not needed.
Without the type cast, mypy cannot infer the type.

Your Environment

• Mypy version used: 2.10
• Mypy configuration options from mypy.ini (and other config files): warn_redundant_casts = true
• Python version used: 3.14

リンクされている Gist と、warn_redundant_casts を有効にした mypy-playground の再現例から始め、次に mypy が cast をどのように検査し、それなしで式をどのように推論するかを追跡します。報告されている Python と mypy のバージョンで動作を確認します。cast がある場合もない場合も、例でエラーが発生しなければ完了です。