`!= (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:

Beginne damit, das Tuple-Union-Beispiel des Issues zu reproduzieren und mypys Behandlung der Typ-Eingrenzung bei Ungleichheitsvergleichen zu untersuchen. Füge einen Regressionstest für a != (None, None) hinzu oder aktualisiere ihn; fertig ist es, wenn der if-Zweig tuple[int, str] aufdeckt, während der else-Zweig weiterhin tuple[None, None] aufdeckt.