void () { doTest("Y[int, [int, str, bool]]", """ from typing import Callable class Y[U, **P]: f: Callable[P, str] attr: U def __init__(self, f: Callable[P, str], attr: U) -> None: self.f = f self.attr = attr def a(q: int, p: str, r: bool) -> str: ... expr = Y(a, 1) """); }