P3558 R1 Core Language Contracts By Default

[wg21bot]

P3558R0 Core Language Contracts By Default (Joshua Berne, John Lakos)

[wg21bot]

P3558R1 Core Language Contracts By Default (Joshua Berne, John Lakos)

[timuraudio]

The current revision of this paper is not targeting SG21. Removing SG21 label, adding SG15 and EWG labels instead (target audience is SG23+SG15+EWG as stated in the paper).

[jfbastien]

Timur told me: This paper (P3558R1) was mainly written to argue against inclusion of profiles in their current form (i.e., including runtime checking) in C++26. Since profiles did not make it into C++26, the point that this paper was trying to make is now moot. This issue can be closed.