The compiler could grow a cache of sorts, analysing "bubbles" of code which does not touch other bubbles and keep type info (and compilation output!).