That's a tautology. If you have manual testing, unit testing, and type checking then of course you are only going to see bugs that pass those. But what bugs d

That's a tautology. If you have manual testing, unit testing, and type checking then of course you are only going to see bugs that pass those. But what bugs did you not see hit production because these eliminated it?