void () { runWithLanguageLevel( LanguageLevel.PYTHON36, () -> doTestByText(""" from typing_extensions import Literal a: Literal[20] = undefined b: Literal[30] = undefined c: int = 20 def foo1(p1: Literal[20]): pass foo1(a) foo1(<warning descr="Expected type 'Literal[20]', got 'Literal[30]' instead">b</warning>) foo1(<warning descr="Expected type 'Literal[20]', got 'int' instead">c</warning>) def foo2(p1: int): pass foo2(a) foo2(b) foo2(c)""") ); }