P2593 Allowing static_assert(false)

[wg21bot]

P2593R0 Allowing static_assert(false) (Barry Revzin)

[erichkeane]

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]

P2593R1 Allowing static_assert(false) (Barry Revzin)

[erichkeane]

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]

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]

This was folded into CWG2518.