Yes, if the compiler can prove they're not needed, then it can remove the checks. But it has to prove it.