P3205 R0 Throwing from a `noexcept` function should be a contract violation.

[wg21bot]

P3205R0 Throwing from a noexcept function should be a contract violation. (Gašper Ažman, Jeff Snyder, Andrei Zissu, Ben Craig)

[timuraudio]

Seen by SG21 in Wroclaw on 2024-11-22.

Polls taken:

Poll 9.
An exception hitting a noexcept boundary should be a contract violation that does not allow an exception to escape a noexcept boundary with any evaluation semantics.

SF F N A SA
1 13 3 1 0
Result: Consensus

Poll 10.
An exception hitting a noexcept boundary should be a contract violation that could lead to an exception escaping a noexcept boundary with certain evaluation semantics.

SF F N A SA
2 1 2 6 8
Result: Consensus against

Poll 11.
We support the direction of P3205R0 that the other situations in C++ where throwing an exception results in a termination should be treated as a contract violation.

SF F N A SA
2 3 9 1 1
Result: No consensus