Comment by uecker

Arguably the most important memory safety property, i.e. bounds checking for dynamic arrays, is also not statically checked in Rust.