Another test case involving super accessors

1 files changed, 17 insertions, 0 deletions

diff --git a/tests/neg/i1240b.scala b/tests/neg/i1240b.scala
new file mode 100644
index 000000000..6987dbc96
--- /dev/null
+++ b/tests/neg/i1240b.scala
@@ -0,0 +1,17 @@
+// yet another variant, testing super accessors
+
+trait T {
+  def foo[B](x: C[B]): C[B]
+}
+abstract class A extends T {
+  type C[X]
+  def foo[B](x: C[B]): C[B]       = {println("A.C"); x}
+  def foo[B](x: List[B]): List[B] = {println("A.List"); x}
+}
+trait U extends T {
+  def foo[B](x: C[B]): C[B] = super.foo[B](x)
+}
+object Test extends A with U {
+  type C[X] = List[X]
+  def main(args: Array[String]) = foo(List(""))
+}