This is true for Rust in most cases but with const generics and fixed-size arrays, Rust can check those as part of the type system at compile time.