[int_19h]

With Rust macros it's also possible to bolt on proper design by contract into the language.

[pmarreck]

Unless you enforce those macros somehow in a team setting, someone's going to forget to use them, and then you're still stuck with the original problem.