Propagated bugfixes for #3472, #3499

1 files changed, 14 insertions, 0 deletions

diff --git a/test/files/pos/spec-doubledef.scala b/test/files/pos/spec-doubledef.scala
index 014f683065..86b0d857d3 100644
--- a/test/files/pos/spec-doubledef.scala
+++ b/test/files/pos/spec-doubledef.scala
@@ -12,3 +12,17 @@ class C extends A[Int] {
   var value = 10
   override def getWith[@specialized(Int) Z](f: Int => Z) = f(value)
 }
+
+abstract class B[T, @specialized(scala.Int) U : Manifest, @specialized(scala.Int) V <% Ordered[V]] {
+    val u: U
+    val v: V
+
+    def f(t: T, v2: V): Pair[U, V] = {
+        val m: Array[U] = null
+        if (m.isEmpty) {
+            Pair(u, v)
+        } else {
+            Pair(u, v2)
+        }
+    }
+}