From 0faeeba25efcae711eee75ba0bcd9682b892ee0e Mon Sep 17 00:00:00 2001 From: Martin Odersky Date: Wed, 17 Aug 2016 17:24:09 +0200 Subject: Add passing tests --- tests/pos/spec-doubledef-old.scala | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) create mode 100644 tests/pos/spec-doubledef-old.scala (limited to 'tests/pos/spec-doubledef-old.scala') 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) + } + } +} -- cgit v1.2.3