`tuple` of different `type`s narrows to `object`

Bug Report

mypy fails to infer the type variable in a arbitrary length tuple.

To Reproduce

from typing import TypeVar, reveal_type

T = TypeVar('T')

def get_type_hint(val_type: tuple[type[T]] | tuple[type[T], ...]) -> T:
    return None  # type: ignore

a: tuple[type[int | str], ...] = (str, int)

reveal_type(a)
reveal_type(get_type_hint((str,)))
reveal_type(get_type_hint((str, int)))
reveal_type(get_type_hint(a))

Expected Behavior

The reveal_type for calling (str, int) and a should be int | str.

Actual Behavior

Type is inferred to narrow type as object.

tuple_infer.py:10: note: Revealed type is "builtins.tuple[Union[Type[builtins.int], Type[builtins.str]], ...]"
tuple_infer.py:11: note: Revealed type is "builtins.str"   
tuple_infer.py:12: note: Revealed type is "builtins.object"
tuple_infer.py:13: note: Revealed type is "builtins.object"

Your Environment

• Mypy version used: 1.1.1
• Mypy command-line flags: None
• Mypy configuration options from mypy.ini (and other config files): None
• Python version used: 3.11.1

mypy 1.1.1 で tuple_infer.py の例を再現し、異種タプルの呼び出しに対する reveal_type の出力を調べます。get_type_hint の背後にある型推論の挙動を追跡します。(str, int) を使った呼び出しで object ではなく int | str が明らかになれば完了です。