You're only talking about the subset of tests which the type system can supplant. Logic bugs are outside of the type system's domain, and the generalization "u

You're only talking about the subset of tests which the type system can supplant. Logic bugs are outside of the type system's domain, and the generalization "unit tests have almost no value" does not apply to unit tests which validate logic.