← Back to context Comment by Yoric 10 days ago I like the idea of compile-time asserting that no runtime check is needed for array access! 1 comment Yoric Reply thomasmg 10 days ago Thanks! I know Rust, Java etc do a good job of array bound check elimination, but I prefer a way to _ensure_ there is no check. I felt this was missing.
thomasmg 10 days ago Thanks! I know Rust, Java etc do a good job of array bound check elimination, but I prefer a way to _ensure_ there is no check. I felt this was missing.
Thanks! I know Rust, Java etc do a good job of array bound check elimination, but I prefer a way to _ensure_ there is no check. I felt this was missing.