void () { doTestByText(""" from typing import Generic, Protocol, TypeVar T = TypeVar('T') class Getter(Protocol[T]): def get(self) -> T: pass class Box(Generic[T]): def get(self) -> T: pass def f(x: Getter[int]): pass box: Box[str] = ... f(<warning descr="Expected type 'Getter[int]', got 'Box[str]' instead">box</warning>) """); }