[cultus]

You can never guarantee you really have 100% test coverage in all scenarios in complex software.

[pjc50]

Indeed. It gets asymptotically more expensive. Whereas a typechecker is a system of tests that's able to "cover" 100% of the code.