An example sbt project that compiles using Dotty - View it on GitHub