Ambiguous reference error message does not know about rule change in #8622

[lrytz]

object C {
  def m(x: Int) = 1
  object T extends K {
    val x = m(1)
  }
}
class K {
  def m(i: Int) = 2
}

gives

-- [E049] Reference Error: Test.scala:4:12 -------------------------------------
4 |    val x = m(1)
  |            ^
  |            Reference to m is ambiguous,
  |            it is both defined in object C
  |            and inherited subsequently in object T

Explanation
===========
The compiler can't decide which of the possible choices you
are referencing with m: A definition of lower precedence
in an inner scope, or a definition with higher precedence in
an outer scope.
Note:
 - Definitions in an enclosing scope take precedence over inherited definitions
 - Definitions take precedence over imports
 - Named imports take precedence over wildcard imports
 - You may replace a name when imported using
   import scala.{ m => mTick }

The -explain message even says "Definitions in an enclosing scope take precedence over inherited definitions".

[smarter]

This was intentionally changed in #8622, looks like the error message needs to be updated.

[lrytz]

👍

Ftr, Scala 2 actually resolves m to K.m: https://www.scala-lang.org/files/archive/spec/2.11/02-identifiers-names-and-scopes.html

[som-snytt]

I intended to follow up Scala 2 at scala/scala#8839

[odersky]

The error message could be clearer, but is correct. There is "A definition of lower precedence (i.e. inheritance)
in an inner scope, and a definition with higher precedence (i.e. definition) in an outer scope.".

[odersky]

I close since no better diagnostics was forthcoming.