Yeah, in theory. In practice, if someone writes code that is throwing away compiler checks for no reason, you simply don't use it.