void () { doTest("list[int]", """ from typing import Protocol from typing import TypeVar T = TypeVar('T', covariant=True) T2 = TypeVar('T2') class SupportsIter(Protocol[T]): def __iter__(self) -> T: pass def my_iter(x: SupportsIter[T2]) -> T2: pass class MyList: def __iter__(self) -> list[int]: pass expr = my_iter(MyList())"""); }