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