The borrow checker is not responsible for even 1% of compilation time. The elephant in the room is monomorphisation and macro expansion. Those generate a ton o

The borrow checker is not responsible for even 1% of compilation time. The elephant in the room is monomorphisation and macro expansion. Those generate a ton of code that LLVM has to process. In return you get much faster programs at runtime.