Integrating IDEs with Dotty the experimental Scala compiler by Guillaume Martres