I think we are actually saying the same thing though..? Tests should really only ensure functionality. It should be the language's job to help you with obvious implementation errors (such as using a wrong value type).