Skip to content
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

[SE-0341] Restrict opaque type parameters in consuming positions. #1545

Conversation

DougGregor
Copy link
Member

Per discussion on the review thread, restrict the use of opaque type
parameters in "consuming" positions. They are not useful here (because
it's hard to create values to pass when you don't have access to the
type), and this follows the reasoning in SE-0328 for the same
restriction. Add a Future Directions section to talk about "flipping"
the generics for opaque types in consuming position.

Per discussion on the review thread, restrict the use of opaque type
parameters in "consuming" positions. They are not useful here (because
it's hard to create values to pass when you don't have access to the
type), and this follows the reasoning in SE-0328 for the same
restriction. Add a Future Directions section to talk about "flipping"
the generics for opaque types in consuming position.
@IRISZL
Copy link

IRISZL commented Feb 11, 2022 via email

@airspeedswift airspeedswift merged commit 08d9dc9 into swiftlang:main Feb 17, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
3 participants