I used to be a big fan of contracts, and even implemented it in the Zortech C++ compiler back in the 90's:

https://www.digitalmars.com/ctg/contract.html

I implemented it in D as well. But, it just turned out to not be very useful.