> passed all manual testing Or been ignored. It happens. > passed all unit tests If they have been written at all. And every bugfix should come with a regres

> passed all manual testing Or been ignored. It happens. > passed all unit tests If they have been written at all. And every bugfix should come with a regression test. > passed the type checker If it hasn't been disabled. And I would expect that a bug that could be fixed with better typing would include making types more restrictive when necessary. Unfortunately, tools like testing and types are seen in two conflicting ways. Some people embrace them and see that they can use them to write better code with less bugs. Others see them as obstacles that have been placed in their way due to the additional learning curve.