Skip to content

P2593 Allowing static_assert(false) #1251

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

Closed
wg21bot opened this issue May 24, 2022 · 5 comments · Fixed by cplusplus/draft#6120
Closed

P2593 Allowing static_assert(false) #1251

wg21bot opened this issue May 24, 2022 · 5 comments · Fixed by cplusplus/draft#6120
Assignees
Labels
C++23 Targeted at C++23 CWG Core
Milestone

Comments

@wg21bot
Copy link
Collaborator

wg21bot commented May 24, 2022

P2593R0 Allowing static_assert(false) (Barry Revzin)

@wg21bot wg21bot added the EWG Evolution label May 24, 2022
@wg21bot wg21bot added this to the 2022-telecon milestone May 24, 2022
@erichkeane
Copy link
Collaborator

Forward P2593R0 to CWG for inclusion into C++26.

SF F N A SA
9 8 8 2 3

Result: Consensus-ish, but not great consensus

EWG would like to explore solving this problem by making something like static_assert(false) dependent, and would like to see a followup paper exploring this direction.

SF F N A SA
11 6 8 3 3

Result: Also Consensus-ish

EWG would like to solve this problem in some currently undetermined way.

SF F N A SA
12 10 6 1 1

Result: Consensus

The chair has determined that this will be forwarded to CWG AFTER the Issaquah meeting in order to give other authors time to propose a more palatable solution to this problem.

@jfbastien
Copy link
Collaborator

P2593R1 Allowing static_assert(false) (Barry Revzin)

@erichkeane
Copy link
Collaborator

This was seen in EWG in the February 9th, 2023 afternoon session in Issaquah. The following polls were taken:

Forward P2593R1 to CWG for inclusion into C++26.

SF F N A SA
5 3 1 0 0

Result: Strong Consensus

Forward P2593R1 to CWG as a DR.

SF F N A SA
3 3 1 1 1

Result: Weaker Consensus

The former has stronger consensus, so sending to CWG for inclusion in C++26 (which confirms the Kona vote).

@erichkeane erichkeane added CWG Core and removed EWG Evolution labels Feb 9, 2023
@jensmaurer jensmaurer added the C++26 Targeted at C++26 label Feb 10, 2023
@erichkeane
Copy link
Collaborator

This was seen in EWG in the February 10th, 2023 afternoon session in Issaquah, and the following poll was taken:
Forward P2593R1 to CWG for C++23 and as a DR.

SF F N A SA
6 19 3 1 1

Result: Consensus

@attn: @jensmaurer

@jensmaurer
Copy link
Member

This was folded into CWG2518.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
C++23 Targeted at C++23 CWG Core
Projects
Archived in project
Development

Successfully merging a pull request may close this issue.

5 participants