Contracts

<p>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.</p> <h2>Show Notes</h2> <h3>News</h3> <ul> <li>ISO C++ trip report's from Varna: <ul> <li><a href= "https://herbsutter.com/2023/06/16/trip-report-summer-iso-c-standards-meeting-varna-bulgaria/"> Herb Sutter's trip report</a></li> <li><a href= "https://www.think-cell.com/en/career/devblog/trip-report-summer-iso-cpp-meeting-in-varna-bulgaria"> Jonathan Müller's trip report</a></li> </ul> </li> <li><a href= "https://www.reddit.com/r/cpp/comments/145fnjl/gcc_14_nrvo_enhancements/"> GCC 14 NRVO enhancements (Reddit)</a> <ul> <li><a href= "https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2021/p2025r2">P2025 proposes guaranteed NRVO</a></li> <li><a href= "https://devblogs.microsoft.com/oldnewthing/20230612-00/?p=108329">How to get NRVO before C++26</a></li> </ul> </li> <li><a href="https://developer.apple.com/xcode/cpp/">XCode 15 beta</a></li> </ul> <h3>Links</h3> <ul> <li><a href="https://wg21.link/P2831">P2831 - "Functions having a narrow contract should not be noexcept"</a></li> <li><a href="https://wg21.link/P2521">P2521 - The current contracts MVP</a></li> <li><a href="http://wg21.link/p2695">P2695 - "A proposed plan for Contracts in C++"</a></li> <li><a href="https://wg21.link/P2811">P2811 - "Contract-Violation Handlers"</a></li> <li><a href="https://wg21.link/P2834">P2834 - "Semantic Stability Across Contract-Checking Build Modes"</a></li> <li><a href="https://isocpp.org/files/papers/P2877R0.pdf">P2877R0 - "Contract Build Modes, Semantics, and Implementation Strategies"</a></li> <li><a href="https://wg21.link/P2751">P2751 - "Evaluation of Checked Contract-Checking Annotations"</a></li> <li><a href="https://wg21.link/P2552">P2552 - "On the ignorability of standard attributes"</a></li> <li><a href="https://wg21.link/p2786">p2786 - "Trivial relocatability options"</a></li> <li