P3191 R0 Feedback on the scalability of contract violation handlers in P2900

[wg21bot]

P3191R0 Feedback on the scalability of contract violation handlers in P2900 (Louis Dionne, Yeoul Na, Konstantin Varlamov)

[timuraudio]

Adopted by SG21 in Tokyo 2024.

Add a contract semantic to P2900R6 where the predicate is evaluated, on contract violation no contract-violation handler is invoked, and the program is stopped in an implementation-defined way.
SF F N A SA
23 10 0 0 0
Result: Consensus