← Back to context Comment by Yoric 7 months ago I like the idea of compile-time asserting that no runtime check is needed for array access! 1 comment Yoric Reply thomasmg 7 months 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 7 months 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.