void () { doTest("(str, x: int, args: tuple[bool, ...]) -> bool", """ 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]: ... expr = add(bar) # Should return (__a: str, x: int, *args: bool) -> bool"""); }