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