void () { doTestByText(""" from typing import Any, Callable, Iterable, TypeVar _T1 = TypeVar("_T1") def mymap(c: Callable[[_T1], Any], i: Iterable[_T1]) -> Iterable[_T1]: pass def myfoo(*args: int) -> int: pass mymap(myfoo, [1, 2, 3]) """); }