Using Const Generics in Rust

This is great. Am I getting it right that this isn't an issue in C++ because the type system in C++ is "invoked" after the templates are "applied"?