Would this be an example of a bug that could have been detected with contract-style testing?

https://martinfowler.com/bliki/ContractTest.html