void () { doTest("str", """ from typing import Any, Generic, TypeVar T = TypeVar("T") class Box(Generic[T]): def get(self) -> T: pass class StrBox(Box[str]): pass receiver: Any | int | StrBox = ... expr = receiver.get()"""); }