void () { doTest("int", """ from typing import Generic, TypeVar T = TypeVar('T') class Super(Generic[T]): pass Alias = Super class Sub(Alias[T]): pass def f(x: Super[T]) -> T: pass arg: Sub[int] expr = f(arg) """); }