Specialization landed in trunk.

1 files changed, 20 insertions, 0 deletions

diff --git a/test/files/pos/spec-super.scala b/test/files/pos/spec-super.scala
new file mode 100644
index 0000000000..e06a126aa4
--- /dev/null
+++ b/test/files/pos/spec-super.scala
@@ -0,0 +1,20 @@
+import scala.collection.immutable._
+import scala.collection.mutable.ListBuffer
+import scala.collection.generic._
+
+trait Base[+A] extends Traversable[A] {
+  def add[B >: A, That](that: Traversable[B])(implicit bf: BuilderFactory[B, That, Base[A]]): That = {
+    val b = bf(this)
+    b ++= this
+    b ++= that
+    b.result
+  }
+
+}
+
+abstract class Derived[@specialized +A] extends Base[A] {
+  override def add[B >: A, That](that: Traversable[B])(implicit bf: BuilderFactory[B, That, Base[A]]): That = {
+    val b = bf(this)
+    super.add[B, That](that)
+  }
+}