ping @odersky 
the line that breaks is https://github.com/DarkDimius/dotty/blob/integration/lazy/src/dotty/tools/dotc/core/Phases.scala#L117