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

fix #1701: disqualify package name in type name resolution

2 files changed, 6 insertions, 1 deletions

diff --git a/tests/neg/i1643.scala b/tests/neg/i1643.scala
index d836a4255..889233b3a 100644
--- a/tests/neg/i1643.scala
+++ b/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
 }
diff --git a/tests/neg/i1701.scala b/tests/neg/i1701.scala
new file mode 100644
index 000000000..6b5e04692
--- /dev/null
+++ b/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
+}