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