P3640 R0 Make contracts reliable by default

[wg21bot]

P3640R0 Make contracts reliable by default (Jonas Persson)

[timuraudio]

Removing EWG label for now as this needs to be seen by SG21 first

[timuraudio]

Discussed in SG21 on 2025-05-08 telecon. SG21 has consensus against pursuing this paper any further.

Poll 1:
We are interested in changing the meaning of pre, post, and contract_assert and adding the ?/! syntax as proposed in P3640R0 "Make Contracts reliable by default" as a fix for C++26.

SF F N A SA
0 1 0 3 10

Result: Consensus against

Poll 2:
We are interested in adding the ?/! syntax as proposed in P3640R0 "Make Contracts reliable by default" as an extension for C++29.

SF F N A SA
0 1 4 6 2

Result: Consensus against

Minutes of the discussion can be found here: https://wiki.edg.com/bin/view/Wg21telecons2025/Teleconference2025-05-08

[rogerorr]

SG23 saw P3640R0 during the Sofia meeting and took two polls:

We should forward this paper to EWG for their consideration for C++26

SF	F	N	A	SA
0	0	3	9	20

strong consensus against

We should forward this paper to EWG for their consideration for C++29

SF	F	N	A	SA
2	2	2	13	10

consensus against

[rogerorr]

SG21 and SG23 have both had consensus against forwarding or future work, so I have closed the issue.