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

リンクされている mypy-play playground または main.py で例を再現することから始め、互換性のない戻り値の型を確認します。Tuple[float, Optional[float]] とタプル型のユニオンの間の互換性を mypy がどのようにチェックしているかを追跡します。例が報告された return-value エラーなしで型チェックを通過し、回帰テストのカバレッジによってその動作が維持されれば完了です。