Contracts

Joshua Berne joins Phil and Timur. Joshua talks to us about the previous week's ISO C++ meeting in Varna, Bulgaria, then focuses on the current state of the contracts proposal that he has been central to, as well as a bit of its history.
News

• ISO C++ trip report's from Varna:
• Herb Sutter's trip report (herbsutter.com/2023/06/16/trip-report-summer-i…)

• Jonathan Müller's trip report (think-cell.com/en/career/devblog/trip-report-s…)

• GCC 14 NRVO enhancements (Reddit) (reddit.com/r/cpp/comments/145fnjl/gcc_14_nrvo_…)
• P2025 proposes guaranteed NRVO (open-std.org/jtc1/sc22/wg21/docs/papers/2021/p…)

• How to get NRVO before C++26 (devblogs.microsoft.com/oldnewthing/20230612-00…)

• XCode 15 beta (developer.apple.com/xcode/cpp)

Links

• P2831 - "Functions having a narrow contract should not be noexcept" (wg21.link/P2831)

• P2521 - The current contracts MVP (wg21.link/P2521)

• P2695 - "A proposed plan for Contracts in C++" (wg21.link/p2695)

• P2811 - "Contract-Violation Handlers" (wg21.link/P2811)

• P2834 - "Semantic Stability Across Contract-Checking Build Modes" (wg21.link/P2834)

• P2877R0 - "Contract Build Modes, Semantics, and Implementation Strategies" (isocpp.org/files/papers/P2877R0.pdf)

• P2751 - "Evaluation of Checked Contract-Checking Annotations" (wg21.link/P2751)

• P2552 - "On the ignorability of standard attributes" (wg21.link/P2552)

• p2786 - "Trivial relocatability options" (wg21.link/p2786)

• P2839 - "Nontrivial Relocation via a New owning reference Type" (wg21.link/P2839)

• P0843R8 - "inplace_vector" (wg21.link/P0843R8)