No, the problem is a result of sloppy thinking --- or no thinking --- about function contracts.

Humans error. The point of programming languages is to provide an abstraction to make development faster and less error prone than writing stuff in lower level languages or even assembly.

If your language requires you to manually track function contracts then that’s a problem with the language itself. Not the developer.