With static typing, you usually have this big suite of unit tests that check a whole bunch of basic correctness out of the box, called the compiler... /s

If you actually use the type system, and build less anemic types, you can eliminate huge swathes of potential errors.