I've measured about 2.5% compiler speedup in https://github.com/scala/scala/compare/2.13.x...retronym:opt/typer - [ ] Attribute performance improvements to commits, are they all needed? - [ ] Polish the changes and split into PRs - [ ] Microbenchmark to explore "Fast path for cooperative equals with exact same types."