... and in general, type-checking is simply not something that slows compilers down.
[C++ is something of a red-herring, I think: although it's one of the most famous statically-typed languages, and has a reputation for slow compilation, that has much more to do with its include-based model than it does with static typing.]
[C++ is something of a red-herring, I think: although it's one of the most famous statically-typed languages, and has a reputation for slow compilation, that has much more to do with its include-based model than it does with static typing.]