See also https://scala-lang.org/blog/2016/10/14/dotty-errors.html and Towards better error messages in Scalac