On: Rust Style Guide

Modern C++ is characterized by relying on templates for generics and reusability, as well as static dispatch.

“Traditional” C++ looks a lot more like Java, and often like C.

Much of the compile time of both Rust and C++ comes from monomorphization and linking, both of which do a lot of work to support the zero-cost high-level abstractions favored by both languages.

You said:

> Rust’s type system and borrow checker are not significant reasons for its compile times

But isn't "hard" monomorphization a property of more complex type systems (generics, type variables, etc.)?

Sure, but in this context, the meaning was clear to refer to the differences from C++.