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

P1936 Dependent Static Assertion #675

Closed
wg21bot opened this issue Oct 15, 2019 · 5 comments · Fixed by cplusplus/draft#6120
Closed

P1936 Dependent Static Assertion #675

wg21bot opened this issue Oct 15, 2019 · 5 comments · Fixed by cplusplus/draft#6120
Labels
EWG Evolution EWGI Evolution Incubator needs-revision Paper needs changes before it can proceed

Comments

@wg21bot
Copy link
Collaborator

wg21bot commented Oct 15, 2019

P1936R0 Dependent Static Assertion (Ruslan Arutyunyan)

@wg21bot wg21bot added the EWGI Evolution Incubator label Oct 15, 2019
@wg21bot wg21bot added this to the 2019-11 milestone Oct 15, 2019
@theres-waldo theres-waldo added the needs-revision Paper needs changes before it can proceed label Nov 7, 2019
@theres-waldo
Copy link

EWG-I in Belfast

Do we want a targeted language solution to the static_assert(false) problem?

SF F N A SA attendees
0 10 4 3 0 17

Explore making the token sequence static_assert(false) be dependent as a special case.

SF F N A SA attendees
2 4 2 5 3 17

Explore a new keyword, such as static_fail.

SF F N A SA attendees
2 6 6 1 2 17

Pursue the approach as written.

SF F N A SA attendees
0 2 5 6 4 17

@jensmaurer jensmaurer modified the milestones: 2019-11, 2020-02 Dec 11, 2019
@jensmaurer jensmaurer removed the needs-revision Paper needs changes before it can proceed label Jan 21, 2020
@jensmaurer jensmaurer modified the milestones: 2020-02, 2021-telecon Dec 28, 2020
@jensmaurer jensmaurer modified the milestones: 2021-telecon, 2022-telecon Jan 1, 2022
@cor3ntin cor3ntin added the EWG Evolution label Feb 22, 2022
@erichkeane erichkeane added the needs-revision Paper needs changes before it can proceed label Mar 7, 2022
@erichkeane
Copy link
Collaborator

Based on my reading of the EWG-I feedback, there was no clear consensus on where to go, there IS some slight consensus by my reading of the 'static_fail', but it seems pretty weak to me. Either way, I think we probably need to see more info on this one.

@jensmaurer jensmaurer removed this from the 2022-telecon milestone Mar 7, 2022
@cor3ntin
Copy link

cor3ntin commented Apr 3, 2022

A previous paper #572 explores a library solution to the same problem

@dfrib
Copy link

dfrib commented Jun 1, 2022

P2593R0 (#1251) explores a different language solution to this problem.

@cor3ntin
Copy link

This was resolved by #1251

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
EWG Evolution EWGI Evolution Incubator needs-revision Paper needs changes before it can proceed
Projects
None yet
Development

Successfully merging a pull request may close this issue.

6 participants