void () { runWithLanguageLevel(LanguageLevel.getLatest(), () -> doTestByText(""" from typing_extensions import TypedDict, Required, NotRequired, Annotated class A(TypedDict): x: Annotated[NotRequired[int], 'Some constraint'] def f(a: A): pass f({}) class B(TypedDict, total=False): x: Annotated[Required[int], 'Some constraint'] def g(b: B): pass g(<warning descr="TypedDict 'B' has missing key: 'x'">{}</warning>) """)); }