Merge pull request #1767 from dotty-staging/fix-#1755

Fix #1755: Make sure references in outer args are accessible

1 files changed, 21 insertions, 0 deletions

diff --git a/tests/pos/i1755.scala b/tests/pos/i1755.scala
new file mode 100644
index 000000000..1361ebeec
--- /dev/null
+++ b/tests/pos/i1755.scala
@@ -0,0 +1,21 @@
+class hierarOverload {
+  trait AB {
+    type TB
+    protected trait A { val entities: List[TB] }
+    protected trait B
+  }
+  object NAnB {
+    type TB = nB
+    type TA = nA
+    class nA { List[nB]() }
+    class nB {}
+  }
+  def foo = { val t = new NAnB.TB() }
+}
+class hierarOverload2 {
+  object NAnB {
+    type TB = nB
+    class nB
+  }
+  def foo = { val t = new NAnB.TB() }
+}