![](https://secure.gravatar.com/avatar/3247bfd67c8fa4c4a08b8d30e49eab39.jpg?s=120&d=mm&r=g)
Jan. 17, 2022
11:54 p.m.
I agree with Jelle that `Annotated[Required[...], ...]` should be disallowed. The `Required` part is associated with the field that it's annotating, so it logically belongs on the outside, as in `Required[Annotated[..., ...]]`. -Eric -- Eric Traut Contributor to Pyright & Pylance Microsoft