hjb·5 年前·議論If 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 年前·議論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.htmlThis would allow generics that depend on const values (i.e. matrix dimensions in this context). At present generics can only depend on types.