Code Coverage 100% Eliminates the Need for a Type System

Code coverage 100% code coverage eliminates the need for a type system. Only if you have a type system that restricts the kind of code that you can write. Sometimes it's because we need to restrict because that's how we guarantee certain performance, but it is restricting the type of code. So there are a bunch of trade offs that we can make.