Martin has made no guarantee of compatibility or even to supply a Scalafix app. The fact you can do this relatively easily today is just a consequence of Dotty being very young. As it evolves and becomes more complex, there is no guarantee that a translation from Scala to Dotty will even be possible to achieve automatically.