Dotty support in IntelliJ IDEA by Andrew Kozlov