I think one of the best things about Dotty is that they now have a proven theory that the language works on top of (DOT calculus http://scala-lang.org/blog/2016/02/03/essence-of-scala.html). This has allowed them to remove some unsound things (and work around others in a sound way)