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