void () { doTest("int", """ from typing import Generic, TypeVar T = TypeVar('T') class User1(Generic[T]): def __init__(self, x: T): self.x = x def get(self) -> T: return self.x c = User1(10) expr = c.get()"""); }