Hacker News new | ask | show | jobs
by formerly_proven 1647 days ago
Rust should be able to elide more checks than most other languages without impacting safety.
1 comments

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?