void () { doTest("(str, args: tuple[bool, ...]) -> bool", """ from typing import Callable, Concatenate, ParamSpec P = ParamSpec("P") def bar(x: int, *args: bool) -> int: ... def transform( x: Callable[Concatenate[int, P], int] ) -> Callable[Concatenate[str, P], bool]: def inner(s: str, *args: P.args): return True return inner expr = transform(bar)"""); }