void () { doTestByText(""" from typing import List, Type, TypeVar T = TypeVar("T") class A: pass def foo(p1: T, p2: Type[T], p3: List[T]): assert isinstance(A(), <error descr="Type variables cannot be used with instance and class checks">p1</error>) assert issubclass(A, <error descr="Type variables cannot be used with instance and class checks">p1</error>) assert isinstance(A(), p2) assert issubclass(A, p2) assert isinstance(A(), <error descr="Type variables cannot be used with instance and class checks">p3</error>) assert issubclass(A, <error descr="Type variables cannot be used with instance and class checks">p3</error>)"""); }