void () { runWithLanguageLevel( LanguageLevel.getLatest(), () -> doTest("int", """ from typing import Callable, TypeVar, Any, List T = TypeVar('T') def func(f: Callable[[List[T]], Any]) -> T: pass def accepts_list_of_int(x: List[int]) -> Any: pass expr = func(accepts_list_of_int) """) ); }