The fact that cargo check (which does full type checking) is so much faster than cargo build proves that type checking doesn’t account for the bulk of compile time.