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