void () { doTest("str", """ from typing import Generic, TypeVar T = TypeVar("T") class Box(Generic[T]): pass class StrBox(Box[str]): pass def extract(b: Box[T]) -> T: pass box = StrBox() expr = extract(box)"""); }