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:

Beginne mit der gemeldeten Python-Reproduktion und führe sie mit dem verknüpften mypy-play-Beispiel oder einem lokalen mypy-Checkout aus. Verfolge die Typprüfung von aufrufbaren Objekten und Argumenterweiterungen rund um f(*args). Als erledigt gilt die Aufgabe, wenn mypy bei f(*args) einen Fehler meldet, da f nur ein Argument vom Typ P_ akzeptiert.