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

Inizia con il Gist collegato e la riproduzione in mypy-playground con warn_redundant_casts abilitato, quindi traccia come mypy verifica il cast e inferisce l’espressione senza di esso. Conferma il comportamento con le versioni di Python e mypy indicate. Il lavoro è completato quando l’esempio non produce errori né con il cast né senza.