[dom96]

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

[ObscureScience]

What language are you talking about?