Hacker News Reader

Rust should be able to elide more checks than most other languages without impacting safety.

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

What language are you talking about?