void () { doTestByText(""" from typing_extensions import TypedDict, Annotated, Required, NotRequired Alternative = TypedDict("Alternative", {'x': Annotated[Required[int], "constraint"], 'y': NotRequired[<warning descr="'NotRequired' must have exactly one type argument">Required[int], "constraint"</warning>]})"""); }