Quite a few loops are going to involve something that didn't explode, and then people who asked for the thing look at it and say "this doesn't match what was asked for."
This is commonly, but inaccurately, known as requirements.
If your thing compiles but doesn't meet the requirements, it fails.