Merge pull request #1821 from dotty-staging/fix-i1820

Fix #1820: make sure outer of traits implemented

4 files changed, 38 insertions, 0 deletions

diff --git a/tests/run/i1820.check b/tests/run/i1820.check
new file mode 100644
index 000000000..789819226
--- /dev/null
+++ b/tests/run/i1820.check
@@ -0,0 +1 @@
+a
diff --git a/tests/run/i1820.scala b/tests/run/i1820.scala
new file mode 100644
index 000000000..b39e6d108
--- /dev/null
+++ b/tests/run/i1820.scala
@@ -0,0 +1,17 @@
+class A {
+  val a = "a"
+  trait Inner {
+    def f = println(a)
+    def h = 3
+  }
+}
+
+class Inner extends Test.a.Inner
+
+object Test {
+  val a = new A
+
+  def main(args: Array[String]): Unit = {
+    (new Inner).f
+  }
+}
diff --git a/tests/run/i1820b.check b/tests/run/i1820b.check
new file mode 100644
index 000000000..789819226
--- /dev/null
+++ b/tests/run/i1820b.check
@@ -0,0 +1 @@
+a
diff --git a/tests/run/i1820b.scala b/tests/run/i1820b.scala
new file mode 100644
index 000000000..3452b6158
--- /dev/null
+++ b/tests/run/i1820b.scala
@@ -0,0 +1,19 @@
+trait A {
+  val a = "a"
+  trait Inner {
+    def f = println(a)
+    def h = 3
+  }
+}
+
+trait B extends A {
+  trait Inner2 extends Inner
+  def g = new Inner2 {}
+}
+
+object Test {
+  def main(args: Array[String]): Unit = {
+    val b = new B {}
+    b.g.f
+  }
+}