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.

Sign up for GitHub

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

Jump to bottom

P3210 R0 A Postcondition *is* a Pattern Match #1861

Open
wg21bot opened this issue Apr 17, 2024 · 0 comments
Open

P3210 R0 A Postcondition *is* a Pattern Match #1861

wg21bot opened this issue Apr 17, 2024 · 0 comments
Labels
EWG Evolution SG21 Contracts
Milestone
2024-telecon

Comments

@wg21bot
Copy link
Collaborator

wg21bot commented Apr 17, 2024

P3210R0 A Postcondition is a Pattern Match (Andrew Tomazos)
@wg21bot wg21bot added EWG Evolution SG21 Contracts labels Apr 17, 2024
@wg21bot wg21bot added this to the 2024-telecon milestone Apr 17, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
EWG Evolution SG21 Contracts
Projects
None yet
Milestone
2024-telecon
Development

No branches or pull requests
1 participant
@wg21bot