I presented my safety solution (C++/sys) at C++Online 2026 recently (https://cpponline.uk/session/2026/cpp-sys/)
Through this, there was lots of discussion about contracts. It is exciting but I am not too sure about their applicability just yet. The extra work required to benefit from them feels a little fussy and verbose. This might restrict their use when what we need is essentially full coverage within a codebase.
But it does give us the hooks required to automate some of it.