Merge pull request #1720 from dotty-staging/fix-i1701

fix #1701: disqualify package name in type name resolution

Author: odersky

src/dotty/tools/dotc/core/Symbols.scala

@@ -428,7 +428,7 @@ object Symbols {
     final def entered(implicit ctx: Context): this.type = {
       assert(this.owner.isClass, s"symbol ($this) entered the scope of non-class owner ${this.owner}") // !!! DEBUG
       this.owner.asClass.enter(this)
-      if (this is Module) this.owner.asClass.enter(this.moduleClass)
+      if (this.is(Module, butNot = Package)) this.owner.asClass.enter(this.moduleClass)
       this
     }
 

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

@@ -127,8 +127,8 @@ class Typer extends Namer with TypeAssigner with Applications with Implicits wit
      */
     def qualifies(denot: Denotation): Boolean =
       reallyExists(denot) && !(
-         pt.isInstanceOf[UnapplySelectionProto] &&
-         (denot.symbol is (Method, butNot = Accessor)))
+        pt.isInstanceOf[UnapplySelectionProto] &&
+          (denot.symbol is (Method, butNot = Accessor)))
 
     /** Find the denotation of enclosing `name` in given context `ctx`.
      *  @param previous    A denotation that was found in a more deeply nested scope,

tests/neg/i1643.scala

@@ -1,4 +1,4 @@
-trait T extends Array {
+trait T extends Array { // error
   def t1(as: String*): Array[String] = { varargs1(as: _*) } // error
   def t2(as: String*): Array[String] = { super.varargs1(as: _*) } // error
 }

tests/neg/i1701.scala

@@ -0,0 +1,5 @@
+trait Foo {
+  def test (x : test) : Int // error: not found test
+  def f(x : src) : Int // error
+  def g(x : src.project) : Int // error
+}