Merge pull request #767 from dotty-staging/fix-#756-super-accessors

Fix #756 super accessors

2 files changed, 16 insertions, 0 deletions

diff --git a/tests/neg/abstract-override.scala b/tests/neg/abstract-override.scala
new file mode 100644
index 000000000..c1ce83725
--- /dev/null
+++ b/tests/neg/abstract-override.scala
@@ -0,0 +1,8 @@
+trait T { def foo: Int }
+trait T1 extends T { override def foo = super.foo }
+trait T2 extends T { override def foo = super.foo }
+object Test extends T2 with T1 {
+  def main(args: Array[String]) = {
+    assert(foo == 3)
+  }
+}
diff --git a/tests/run/i756.scala b/tests/run/i756.scala
new file mode 100644
index 000000000..dd9b2be4f
--- /dev/null
+++ b/tests/run/i756.scala
@@ -0,0 +1,8 @@
+trait T { def foo: Int = 3 }
+trait T1 extends T { override def foo = super.foo }
+trait T2 extends T { override def foo = super.foo }
+object Test extends T2 with T1 {
+  def main(args: Array[String]) = {
+    assert(foo == 3)
+  }
+}