I think at some level you can’t really get both. The rust compiler is constantly being sped up, but the amount of checking it does simply takes time.

It’s the age old adage “The fastest code is the one that doesn’t exist”. The fastest compilation checks are the ones you don’t do.