This feels like saying airbags and seatbelts add nothing to cars assuming good driving practices. It solves not having to write a bunch of tests that can trivi

This feels like saying airbags and seatbelts add nothing to cars assuming good driving practices. It solves not having to write a bunch of tests that can trivially be caught by a program and never having to update or maintain those tests. It hits every code path automatically, you don't have to think of cases to try to hit edge cases.