void () { doTest("StrBoxWithExtra[int]", """ from typing import Generic, TypeVar T1 = TypeVar('T1') T2 = TypeVar('T2') class Box(Generic[T1]): pass class StrBoxWithExtra(Box[str], Generic[T2]): def __init__(self, extra: T2): self.extra = extra expr = StrBoxWithExtra(42)"""); }