Bingo.

At that point you've hit on the essential purpose/elegance of static types and a compiler :)