void () { doTestByText(""" from typing import Annotated A = Annotated[bool, 'Some constraint'] a: A = <warning descr="Expected type 'bool', got 'str' instead">'str'</warning> b: A = True c: Annotated[bool, 'Some constraint'] = <warning descr="Expected type 'bool', got 'str' instead">'str'</warning> d: Annotated[str, 'Some constraint'] = 'str' """); }