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

_______________________________________________

Typing-sig mailing list -- typing-sig@python.org

To unsubscribe send an email to typing-sig-leave@python.org

https://mail.python.org/mailman3/lists/typing-sig.python.org/

Member address: pbryan@anode.ca