Re:A simplified model of Fil-C
by zamadatix on Friday April 17, 2026 @07:24PM
(#47811676)
.get() will bounds check and the compiler will optimize that away if it can prove safety at compile time. That leaves you 3 options made available in Rust:
- Explicitly unsafe
- Runtime crash
- Runtime crash w/ compile time avoidence when possible
- Explicitly unsafe
- Runtime crash
- Runtime crash w/ compile time avoidence when possible