void () { doTestByText(""" from typing import TypeVar from typing_extensions import Final T = TypeVar("T") class A: pass assert isinstance(A(), <error descr="'Final' cannot be used with instance and class checks">Final</error>) B = Final assert issubclass(A, <error descr="'Final' cannot be used with instance and class checks">B</error>) assert isinstance(A(), <error descr="'Final' cannot be used with instance and class checks">Final[T]</error>) assert issubclass(A, <error descr="'Final' cannot be used with instance and class checks">B[T]</error>) C = B[T] assert issubclass(A, <error descr="'Final' cannot be used with instance and class checks">C</error>)"""); }