P1936 Dependent Static Assertion

[wg21bot]

P1936R0 Dependent Static Assertion (Ruslan Arutyunyan)

[theres-waldo]

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

[erichkeane]

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.