diff options
author | Iulian Dragos <jaguarul@gmail.com> | 2010-06-03 15:24:04 +0000 |
---|---|---|
committer | Iulian Dragos <jaguarul@gmail.com> | 2010-06-03 15:24:04 +0000 |
commit | 043889d581d9b4403764bdf407dae0405dcc6818 (patch) | |
tree | 4a864eb8ea4350240dc2decf2bd3e456a827143f /test/files | |
parent | cb6db4169a6ccd3566bac8dfaf1be99ba1dbf7e3 (diff) | |
download | scala-043889d581d9b4403764bdf407dae0405dcc6818.tar.gz scala-043889d581d9b4403764bdf407dae0405dcc6818.tar.bz2 scala-043889d581d9b4403764bdf407dae0405dcc6818.zip |
Closes #3499, double definition with specialized.
Diffstat (limited to 'test/files')
-rw-r--r-- | test/files/pos/spec-doubledef.scala | 14 |
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) + } + } +} |