There is also some interesting work (for dotty only atm) on doing the type checking in two phases which would allow the second phase to be parallelized. This co

There is also some interesting work (for dotty only atm) on doing the type checking in two phases which would allow the second phase to be parallelized. This could be paired together with the Rsc type checker for the first pass for even bigger improvements. https://github.com/lampepfl/dotty/pull/4767 https://github.com/lampepfl/dotty/pull/4767