void () { doTestByText(""" from typing import Callable, ParamSpec P = ParamSpec("P") def changes_return_type_to_str(x: Callable[P, int]) -> Callable[P, str]: ... def returns_int(a: str, b: bool) -> int: return 42 changes_return_type_to_str(returns_int)("42", <warning descr="Expected type 'bool', got 'int' instead">42</warning>)"""); }