P3267 R1 Approaches to C++ Contracts

[wg21bot]

P3267R0 C++ contracts implementation strategies (Peter Bindels)

[wg21bot]

P3267R1 Approaches to C++ Contracts (Peter Bindels, Tom Honermann)

[Bigcheese]

Saint Louis:

SG15 discussed various implementation strategies for contracts with a few Itanium C++ ABI people, and a contracts implementer in the room. We had no tooling related concerns with contracts, but believe that the best ABI would require linker changes to get the best performance.

[timuraudio]

Reviewed and discussed by SG21 on 2024-09-12. Nothing to poll as this is an informational paper. The paper doesn't seem to target any other groups besides the ones that already reviewed it (SG15, SG21) so I'm closing the issue.