Closes #3424, double definition when overriding...

Closes #3424, double definition when overriding a generic method with
specialized types, inherited from a specialized class. no review.

1 files changed, 9 insertions, 0 deletions

diff --git a/test/files/pos/spec-doubledef.scala b/test/files/pos/spec-doubledef.scala
new file mode 100644
index 0000000000..e296a17c78
--- /dev/null
+++ b/test/files/pos/spec-doubledef.scala
@@ -0,0 +1,9 @@
+trait A[@specialized(Int) T] {
+  var value: T
+  def getWith[@specialized(Int) Z](f: T => Z) = f(value)
+}
+
+class C extends A[Int] {
+  var value = 10
+  override def getWith[@specialized(Int) Z](f: Int => Z) = f(value)
+}