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

Comienza reproduciendo el ejemplo en el playground mypy-play enlazado o en main.py y confirma el tipo de retorno incompatible. Sigue cómo mypy comprueba la compatibilidad entre Tuple[float, Optional[float]] y la unión de tipos de tupla. Se considera terminado cuando el ejemplo pasa la comprobación de tipos sin el error return-value indicado y la cobertura de regresión conserva ese comportamiento.