Depends on the power of the type system. In languages with stronger / more expressive type systems than C++ (e.g. Haskell or Scala) the compiler catches really a huge amount of possible problems. The downside is it sometimes catches non-problems, too.
> There's often one corner case that works just a little bit differently.
You might just as well miss that one corner case in your test suite. This is the problem with tests - you can never be sure.
> There's often one corner case that works just a little bit differently.
You might just as well miss that one corner case in your test suite. This is the problem with tests - you can never be sure.