void () { doTestByText(""" from typing_extensions import Literal a = undefined # type: Literal[-10] b = undefined # type: Literal[-20] a = <warning descr="Expected type 'Literal[-10]', got 'Literal[-20]' instead">b</warning>"""); }