As I understand it Dotty is the next major version of Scala. If they weren’t working on Dotty it would just be called scala 3.0 or something and your bugs still wouldn’t be getting fixed. Could be wrong though.