P3328 R0 Observable Checkpoints During Contract Evaluation

[wg21bot]

P3328R0 Observable Checkpoints During Contract Evaluation (Joshua Berne)

[timuraudio]

Adopted for P2900 by SG21 in St Louis 2024-06-26. Poll results:

In P2900, make the beginning of evaluation of a contract predicate when evaluating a contract assertion an observable checkpoint, as proposed in P3328R0, conditional on P1494R3 being adopted into the WD.
SF F N A SA
12 8 1 0 0
Result: Consensus

In P2900, make the contract-violation handler returning normally when it is invoked from a contract assertion having the observe semantic an observable checkpoint, as proposed in P3328R0, conditional on P1494R3 being adopted into the WD.
SF F N A SA
12 8 1 0 0
Result: Consensus