The compiler is supposed to put the template IR into the compiled module file, isn't it?

Exactly, that's no better than #including transitive dependencies to compile large translation units.