-
Notifications
You must be signed in to change notification settings - Fork 10.5k
[Docs] Edits for educational note on PATs #33736
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Conversation
cc @theblixguy |
Co-authored-by: Owen Voorhees <[email protected]>
@owenv I must have had higher ambitions initially for this revision when I left it as a draft, but as an incremental improvement, I think it's in a state that's worth landing; more can always be added later. WDYT? |
@swift-ci smoke test |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I agree, these changes look good to me. thanks!
Some edits for the educational note on PATs, to accompany the educational note on existential types.
Initial changes are just some grammatical changes and edits to try to improve the text's flow, but @theblixguy points out an interesting issue over at #33735 that we should incorporate here.
Additionally, the restriction on using PATs as existential types may be easily lifted, but we will need to do an even better job of explaining why some APIs are missing, so this text will need to be fleshed out.