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