P3251 R0 C++ contracts and coroutines

[wg21bot]

P3251R0 C++ contracts and coroutines (Peter Bindels)

[timuraudio]

Presented and discussed in SG21 on 2024-10-17. The changes proposed in this paper have been superseded by the changes adopted via P2957. No polls taken. No further discussion in SG21 or EWG is needed.