We have 20,000 rspec tests. They do a huge amount. But every few months, something slips through. Especially when the change relates to 3rd party gems.

Having to write a billion unit tests to replace the type checker is just abysmal.