Specialization landed in trunk.

1 files changed, 26 insertions, 0 deletions

diff --git a/test/files/pos/spec-short.scala b/test/files/pos/spec-short.scala
new file mode 100644
index 0000000000..71e56a485a
--- /dev/null
+++ b/test/files/pos/spec-short.scala
@@ -0,0 +1,26 @@
+abstract class AbsFun[@specialized T, @specialized U] {
+  // abstract function, fully specialized
+  def apply(x: T): U
+
+  // abstract function, specialized
+  def sum(xs: List[T]): Int
+
+  def prod(xs: List[T], mul: (Int, T) => Int): Int =
+    (1 /: xs)(mul)
+
+  // concrete function, not specialized
+  def bar(m: String): String = m
+
+  // abstract function, not specialized
+  def abs(m: Int): Int
+}
+
+class Square extends AbsFun[Int, Int] {
+  def apply(x: Int): Int = x * x
+
+  def sum(xs: List[Int]): Int =
+    (0 /: xs) (_ + _)
+
+  def abs(m: Int): Int =
+    sum(List(1, 2, 3))
+}