> performs these checks before instantiation time Notably Rust type-based generics do this, a key difference wrt. C++ templates. (You can use macros if you wa

> performs these checks before instantiation time Notably Rust type-based generics do this, a key difference wrt. C++ templates. (You can use macros if you want checks after instantiation, of course.)