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