Unpacking unions of tuples skips type checking

Bug Report

mypy applies type checks when passing an unpacked tuple to a function, but it seems to skip the checks when passing a variable that is a union of tuple types.

To Reproduce

def inner(_name: str, _num: int) -> None:
    ...

# mypy passes as expected
def fun1(name_and_num: tuple[str, int]) -> None:
    inner(*name_and_num)

# mypy errors as expected
def fun2(name_and_num: tuple[str, float]) -> None:
    inner(*name_and_num)

# mypy passes *but should error*
def fun3(name_and_num: tuple[str, int] | tuple[str, float]) -> None:
    inner(*name_and_num)

https://gist.github.com/mypy-play/257f0a56dd44b405b2853e2854333cc2

Expected Behavior

arg-type error on line 14

Actual Behavior

No error on line 14

Your Environment

• Mypy version used: 1.5.1
• Python version used: 3.11.5

まず、mypy 1.5.1 を使い、Python 3.11.5 上で、提供されている fun1、fun2、fun3 の例を用いて動作を再現します。アンパックされた union-of-tuples の型チェック経路を追跡し、fun3 の呼び出しで 14 行目に期待される arg-type エラーが報告されることを確認します。