`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

Riproduci l’esempio in tuple_infer.py con mypy 1.1.1 e ispeziona l’output di reveal_type per le chiamate con tuple eterogenee. Traccia il comportamento dell’inferenza dei tipi alla base di get_type_hint; completato quando le chiamate con (str, int) rivelano int | str invece di object.