Another test case involving super accessors

Author: odersky

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(""))
+}

tests/run/i1240.scala

@@ -1,6 +1,6 @@
 // A tricky case of overriding behavior
-// Note: It would be acceptable if this produced an error instead.
-// Bit testing this is tricky.
+// Note: It might be acceptable if this produced an error instead.
+// But testing this is tricky.
 abstract class Base[T] {
     def foo(x: T): String
 }