void () { doTest("str", """ from typing import Generic, TypeVar T1 = TypeVar('T1') T2 = TypeVar('T2') class Pair(Generic[T1, T2]): pass class StrFirstPair(Pair[str, T2]): def __init__(self, second: T2): pass def first(pair: Pair[T1, T2]) -> T1: pass expr = first(StrFirstPair(42))"""); }