I pointed that out because your previous comment could be misinterpreted to mean you do full type checking on your dev cycle, which you probably don't.