void () { doTest("int", """ from typing import TypeVar, Generic T = TypeVar('T') V = TypeVar('V') class B(Generic[V]): def get() -> V: pass class C(B[T]): def __init__(self, x: T) -> None: pass expr = C(0).get() """); }