Tests are good of course, but that assumes the tests are valid. I’d rather trust compiler to ensure runtime safety.