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