Closes #3434.

1 files changed, 26 insertions, 0 deletions

diff --git a/test/files/neg/spec-overrides.scala b/test/files/neg/spec-overrides.scala
new file mode 100644
index 0000000000..8c92b8ee25
--- /dev/null
+++ b/test/files/neg/spec-overrides.scala
@@ -0,0 +1,26 @@
+class P {
+  def a[@specialized(Int) T](t: T): List[T] = List(t)
+}
+class FX extends P {
+  override def a[@specialized(Int) T](t: T): List[T] = Nil
+}
+class FX1 extends P {
+  override def a[@specialized(Double) T](t: T): List[T] = Nil
+}
+
+class FX2 extends P {
+  override def a[T](t: T): List[T] = Nil
+}
+
+object Test extends Application {
+  val fx = new FX
+  val p = new P
+
+  println(fx.a(3))
+  println((fx: P).a(3))
+  println((fx: P).a(3.0))
+
+
+  // val d = new Derived[Int]
+  // println((d: Base[Int]).m(10))
+}