search

cplusplus / papers

ISO/IEC JTC1 SC22 WG21 paper scheduling and management
606 stars 19 forks source link

P3281 R0 Contact checks should be regular C++ #1935

Closed wg21bot closed 1 week ago

wg21bot commented 1 month ago

P3281R0 Contact checks should be regular C++ (John Spicer)

timuraudio commented 1 week ago

Considered and rejected by SG21 at 2024-05-16 telecon.

Poll 2. For the Contracts MVP, remove the rule that in the predicate of a contract assertion of any kind (pre, post, and contract_assert), variables with automatic storage duration and the result object of a function are implicitly const, as proposed in P3281R0. SF F N A SA 5 2 0 6 8 Result: No consensus

Poll 4. For the Contracts MVP, specify that the predicate of a checked contract assertion of any kind (pre, post, and contract_assert) is evaluated exactly once, as proposed in P3281R0. SF F N A SA 4 2 1 4 10 Result: Consensus against