I like the idea of compile-time asserting that no runtime check is needed for array access!

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.