Type checking fails to distribute across Tuple types

Bug Report

Union types fail to distribute across Tuple types as they ought to when the set of concrete values of each type are identical.

To Reproduce

(https://mypy-play.net/?mypy=latest&python=3.12&gist=9d0052b0ed30856e5ad3985237f8754b)

from typing import Union, Tuple, Optional

def id(x: Tuple[float, Optional[float]]) -> Union[Tuple[float, float], Tuple[float, None]]:
    return x

Expected Behavior

Values of type Tuple[float, Optional[float]] and Union[Tuple[float, float], Tuple[float, None]] should be mutually compatible.

That is: Union ought to distribute across Tuple.

Actual Behavior

main.py:4: error: Incompatible return value type (got "tuple[float, float | None]", expected "tuple[float, float] | tuple[float, None]")  [return-value]

Your Environment

(See Playground link.)

• Python version used: 3.12

Beginne damit, das Beispiel im verlinkten mypy-play-Playground oder in main.py zu reproduzieren, und bestätige den inkompatiblen Rückgabetyp. Verfolge, wie mypy die Kompatibilität zwischen Tuple[float, Optional[float]] und der Vereinigung von Tupeltypen prüft. Als erledigt gilt die Aufgabe, wenn das Beispiel ohne den gemeldeten return-value-Fehler eine Typprüfung besteht und die Regressionstests dieses Verhalten beibehalten.