void () { runWithLanguageLevel( LanguageLevel.getLatest(), () -> doTestByText(""" from typing import TypedDict Movie = TypedDict('Movie', {'name': str, 'year': int}) m1: Movie = dict(name='Alien', year=1979) m2: Movie = dict(name='Alien', year=<warning descr="Expected type 'int', got 'str' instead">'1979'</warning>) m3: Movie = typing.cast(Movie, dict(zip(['name', 'year'], ['Alien', 1979]))) m4: Movie = {'name': 'Alien', 'year': <warning descr="Expected type 'int', got 'str' instead">'1979'</warning>} m5 = Movie(name='Garden State', year=2004)""")); }