So -emit-module type checks all declarations in all source files in one shot, but it skips non-inlinable function bodies. It looks like in your example, 2/3rds of the -emit-module time is actually spent in macro expansion. Unfortunately I’m not familiar enough with macros to offer any concrete suggestions here.