void () { doTestByText(""" import typing T = typing.TypeVar('T') class Box(typing.Generic[T]): def __init__(self, x: T) -> None: ... def same_type(b1: Box[T], b2: Box[T]): ... b = Box('foo'.upper()) same_type(b, Box('FOO')) """); }