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

Inizia riproducendo l’esempio nel playground mypy-play collegato o in main.py e conferma il tipo di ritorno incompatibile. Traccia come mypy verifica la compatibilità tra Tuple[float, Optional[float]] e l’unione di tipi tupla. Il lavoro è completato quando l’esempio supera il controllo dei tipi senza l’errore return-value segnalato e la copertura di regressione preserva questo comportamento.