void () { doTestByText(""" from typing import Callable, Concatenate, ParamSpec P = ParamSpec("P") def bar(x: int, *args: bool) -> int: ... def add(x: Callable[P, int]) -> Callable[Concatenate[str, list[str], P], bool]: ... add(bar)(<warning descr="Expected type 'str', got 'int' instead">42</warning>, <warning descr="Expected type 'list[str]', got 'list[int]' instead">[42]</warning>, 3, True)"""); }