P3400R4 — Controlling Contract-Assertion Properties
Joshua Berne
EWG
Revisions R4Jul 2026R3May 2026
* Major restructuring: new Introduction, Design, Glossary, expanded Standard Library Additions sections