P4433R0 — Do not remove Contracts from C++26
Timur Doumler, Joshua Berne, Gašper Ažman, Peter Bindels, Peter Dimov, Eric Fiselier, Fabio Fracassi, Pablo Halpern, Tom Honermann, John Lakos, Nevin Liber, Lisa Lippincott, René Ferdinand Rivera Morell, Oliver Rosten, Jan Schultke, Hui Xie
EWG
In addition, the description of C++26 contract assertions given in [[P4334R0](http://wg21.link/p4334r0)] contains a number of inaccuracies. It misrepresents the specification itself,3 the amount of wording it consists of,4 its design intent,5 how it relates to hardening6 and static analysis,7 its existing implementations,8 existing practice,9 teachability,10 and proposed extensions.11 None of the listed concerns are new; they have all been previously published by those authors (or a subset thereof), presented to WG21, and extensively discussed there.12