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:

Inizia con la riproduzione Python segnalata ed eseguila con l'esempio mypy-play collegato o con un checkout locale di mypy. Traccia il controllo dei tipi dei callable e dell'espansione degli argomenti intorno a f(*args). Il lavoro è completato quando mypy segnala un errore in f(*args), poiché f accetta un solo argomento di tipo P_.