diff options
author | Martin Odersky <odersky@gmail.com> | 2016-08-17 17:24:09 +0200 |
---|---|---|
committer | Guillaume Martres <smarter@ubuntu.com> | 2016-08-17 15:39:14 -0700 |
commit | 0faeeba25efcae711eee75ba0bcd9682b892ee0e (patch) | |
tree | 004de09b02b49ee13da3889e3ef11c3d4b79c575 /tests/pos/spec-doubledef-old.scala | |
parent | 76025cd33a64e3ff9d4257f3462fcbd261a9694d (diff) | |
download | dotty-0faeeba25efcae711eee75ba0bcd9682b892ee0e.tar.gz dotty-0faeeba25efcae711eee75ba0bcd9682b892ee0e.tar.bz2 dotty-0faeeba25efcae711eee75ba0bcd9682b892ee0e.zip |
Add passing tests
Diffstat (limited to 'tests/pos/spec-doubledef-old.scala')
-rw-r--r-- | tests/pos/spec-doubledef-old.scala | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/tests/pos/spec-doubledef-old.scala b/tests/pos/spec-doubledef-old.scala new file mode 100644 index 000000000..bde259e4f --- /dev/null +++ b/tests/pos/spec-doubledef-old.scala @@ -0,0 +1,28 @@ +object Test { + def fn[@specialized T, @specialized U](t : T => Int, u : U => Int) : T = + null.asInstanceOf[T] +} + +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) +} + +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): Tuple2[U, V] = { + val m: Array[U] = null + if (m.isEmpty) { + (u, v) + } else { + (u, v2) + } + } +} |