void () { doTest("Sub[T1]", """ from typing import Generic, TypeVar T1 = TypeVar('T1') T2 = TypeVar('T2') class Super(Generic[T1]): pass class Sub(Super[T2]): def __init__(self, xs: list[T2]): pass def func(xs: list[T1]): expr = Sub(xs) """); }