Hacker News new | ask | show | jobs
by hjb 2021 days ago
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

This would allow generics that depend on const values (i.e. matrix dimensions in this context). At present generics can only depend on types.