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:

Commencez par la reproduction Python signalée et exécutez-la avec l’exemple mypy-play lié ou avec un checkout local de mypy. Suivez la vérification des types des objets appelables et de l’expansion des arguments autour de f(*args). La tâche est terminée lorsque mypy signale une erreur à f(*args), puisque f n’accepte qu’un seul argument de type P_.