Refine determination of prefix in typedIdent

Author: odersky

compiler/src/dotty/tools/dotc/typer/Typer.scala

@@ -268,7 +268,13 @@ class Typer extends Namer with TypeAssigner with Applications with Implicits wit
             if (qualifies(defDenot)) {
               val found =
                 if (isSelfDenot(defDenot)) curOwner.enclosingClass.thisType
-                else curOwner.thisType.select(name, defDenot)
+                else {
+                  val effectiveOwner =
+                    if (curOwner.isTerm && defDenot.symbol.maybeOwner.isType) defDenot.symbol.owner
+                    else curOwner
+                  //println(i"typed ID $name in $curOwner, ${defDenot.symbol.owner}")
+                  effectiveOwner.thisType.select(name, defDenot)
+                }
               if (!(curOwner is Package) || isDefinedInCurrentUnit(defDenot))
                 result = checkNewOrShadowed(found, definition) // no need to go further out, we found highest prec entry
               else {