void () { runWithLanguageLevel( LanguageLevel.getLatest(), () -> doTest("(Any, str, T3) -> T3", """ from typing import Callable, TypeVar T1 = TypeVar('T1') T2 = TypeVar('T2') T3 = TypeVar('T3') def bar(p1: T1, p2: T2) -> Callable[[T1, T2, T3], T3]: pass expr = bar(dunno, 'sd')""") ); }