Callable with single argument accepts args expanding

Bug Report

(A clear and concise description of what the bug is.)

To Reproduce

from typing import Callable, TypeVar


T_ = TypeVar("T_")
P_ = TypeVar("P_")


def convert_to_hook(f: Callable[[P_], T_]) -> Callable[[list[P_]], T_]:

    def hook_f(args: list[P_]) -> T_:
        return f(*args)

    return hook_f

https://mypy-play.net/?mypy=latest&python=3.10&gist=e45c80cbb1e609c235b4da1813501cd5

Expected Behavior

The type check should fail and point to f(*args), because f is accepting only a single argument of type P_.

Actual Behavior

Success: no issues found in 1 source file

Your Environment

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

Comienza con la reproducción de Python reportada y ejecútala con el ejemplo de mypy-play enlazado o con un checkout local de mypy. Rastrea la comprobación de tipos de los objetos invocables y de la expansión de argumentos alrededor de f(*args). Se considera terminado cuando mypy informa de un error en f(*args), ya que f solo acepta un argumento de tipo P_.