hjb·5 лет назад·discussIf you go to the 12 of June 2012 you can see a ship making its way across the Sahara. I assume this is a data funny.
hjb·6 лет назад·discussI 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.htmlThis would allow generics that depend on const values (i.e. matrix dimensions in this context). At present generics can only depend on types.