[P3297R0](https://wg21.link/p3297r0) C++26 Needs Contract Checking (Ryan McDougall, Christian Eltzschig, Mathias Kraus, Pez Zarifian)