P3007 R0 Return object semantics in postconditions

[wg21bot]

P3007R0 Return object semantics in postconditions (Timur Doumler, Andrzej Krzemieński, Joshua Berne)

[timuraudio]

Adopted by SG21 for P2900.

2023-12-14, Telecon

Poll 3:
For the Contracts MVP, adopt P3007R0 "Return object semantics in postcondition
specifiers" with the return-name being a const lvalue referring to the return
object.

SF F N A SA
6 10 2 0 0

Result: Consensus