
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