Comment by pjmlp

Ideally we would have Eiffel or Ada/SPARK kind of approach, or even something like Frama-C.

However given all the technical issues with C++ semantics, and the whole politics regarding contracts since the C++20 removal, I am not sure we will ever get there.

It will be the same as with modules or concepts, the main people behind the proposals eventually move on, and there is no one left to pick the up the pieces for the follow up papers, and related implementation.