void () { doMultiFileTest(); runWithLanguageLevel( LanguageLevel.PYTHON35, () -> doTestByText(""" from typing_extensions import final from typing import overload class A: @overload def foo(self, a: int) -> int: ... @overload def foo(self, a: str) -> str: ... @final def foo(self, a): return a class B(A): def <warning descr="'aaa.A.foo' is marked as '@final' and should not be overridden">foo</warning>(self, a): return super().foo(a)""") ); }