void () { runWithLanguageLevel( LanguageLevel.PYTHON36, () -> doTestByText(""" from typing_extensions import Literal a: Literal[20] = 20 b: Literal[30] = <warning descr="Expected type 'Literal[30]', got 'Literal[25]' instead">25</warning> c: Literal[2, 3, 4] = 3""") ); }