Oh, you are saying Rust's const generics is basically C++'s non-type template parameters? I should have got that from their names, silly me!