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

Start by running the linked mypy-play reproduction and inspect how mypy infers the return type of some_types when passed a heterogeneous tuple of classes. Trace the callable and TypeVar inference path, then add or update a regression test for this example; done means the inferred value is accepted as int | str | float without an argument-type error.