`!= (None, None)` Narrowing only in else branch

Bug Report

!= (None, None) correctly narrows the else branch to tuple[None, None] but, doesn't narrow the union in the if branch.

To Reproduce

a: tuple[int, str] | tuple[None, None]

if a != (None, None):
    reveal_type(a)  #  Revealed type is "tuple[int, str] | tuple[None, None]"
else:
    reveal_type(a)  #  Revealed type is "tuple[None, None]"

Expected Behavior

The if branch should narrow to tuple[int, str]

Actual Behavior

The if branch is tuple[int, str] | tuple[None, None]

Your Environment

• Mypy version used: 2.1
• Mypy command-line flags:
• Mypy configuration options from mypy.ini (and other config files):
• Python version used:

Inizia riproducendo l'esempio di unione di tuple dell'issue e ispeziona la gestione del restringimento dei tipi da parte di mypy per i confronti di disuguaglianza. Aggiungi o aggiorna un test di regressione per a != (None, None); il lavoro è completato quando il ramo if rivela tuple[int, str], mentre il ramo else continua a rivelare tuple[None, None].