That's the assumption, but that doesn't mean it's the case. Certainly bounds checks are impossible to prove at compile-time.