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:

Bắt đầu với bản tái hiện Python đã được báo cáo và chạy nó bằng ví dụ mypy-play được liên kết hoặc một checkout mypy cục bộ. Theo dõi việc kiểm tra kiểu của callable và việc mở rộng đối số xung quanh f(*args). Được xem là hoàn tất khi mypy báo lỗi tại f(*args), vì f chỉ chấp nhận một đối số có kiểu P_.