Specialization landed in trunk.

1 files changed, 17 insertions, 0 deletions

diff --git a/test/files/pos/spec-example1.scala b/test/files/pos/spec-example1.scala
new file mode 100644
index 0000000000..870c0ed9b9
--- /dev/null
+++ b/test/files/pos/spec-example1.scala
@@ -0,0 +1,17 @@
+abstract class C[@specialized T](_f: T) {
+  def m(x: T): T
+  def n(x: T): T = x
+
+  val f: T = _f
+/*
+  class Inner[@specialized B] {
+    def foo(x: T): T = x
+  }
+
+  new Inner
+*/
+}
+
+class D extends C[Int](0) {
+  def m(x: Int): Int = x * x
+}