Mypy cannot guess callable return type (`Tuple[Type[T], ...] -> T`)

Bug Report

It looks like mypy cannot detect some types like following type.

To Reproduce

Playground: https://mypy-play.net/?mypy=latest&python=3.12&gist=f83671bbbc02711ac90962ae786b418b

from typing import Union, Type, Tuple, TypeVar

T = TypeVar("T")


def some_types(type_: Union[Type[T], Tuple[Type[T], ...]]) -> T:
    ...

def int_str_float_fn(a: int | str | float) -> None:
    ...

a = some_types((int, str, float))

int_str_float_fn(a)  # should't be an error

I got an error like

main.py:14: error: Argument 1 to "int_str_float_fn" has incompatible type "object"; expected "int | str | float"  [arg-type]

Expected Behavior

No error here.

I think VSCode has a quite good guess here.
Mypy seems guessing a is object.

Actual Behavior

Your Environment

• Mypy version used: latest
• Mypy command-line flags: in playground
• Mypy configuration options from mypy.ini (and other config files): in playground
• Python version used: 3.12

Inizia eseguendo la riproduzione collegata di mypy-play e analizza come mypy inferisce il tipo restituito da some_types quando gli viene passata una tupla eterogenea di classi. Traccia il percorso di inferenza di Callable e TypeVar, quindi aggiungi o aggiorna un test di regressione per questo esempio; il lavoro è completato quando il valore inferito viene accettato come int | str | float senza un errore di tipo dell'argomento.