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, P], bool]: ... add(bar)(<warning descr="Expected type 'str', got 'int' instead">42</warning>, 42, True)"""); }