I believe that catching that at compile-time in Rust would have to wait for RFC 2000 to be implemented: https://rust-lang.github.io/rfcs/2000-const-generics.htm

I believe that catching that at compile-time in Rust would have to wait for RFC 2000 to be implemented: https://rust-lang.github.io/rfcs/2000-const-generics.html https://rust-lang.github.io/rfcs/2000-const-generics.html This would allow generics that depend on const values (i.e. matrix dimensions in this context). At present generics can only depend on types.