I think you missed my point. The problem is not lack of guarding against programmer mistakes. It's that the compiler generates unnecessary code.