Would the mistakes compile? In many cases having a simpler less powerful language increases the amount of code you have to write. In this case it would be one

Would the mistakes compile? In many cases having a simpler less powerful language increases the amount of code you have to write. In this case it would be one place to fix, if the function was implemented for n different types then a mistake would have to be fixed n times. If Go Contracts reduce duplication they help at eliminating an anitipattern.