diff options
Diffstat (limited to 'tests/disabled')
-rw-r--r-- | tests/disabled/not-representable/t3999b.scala | 20 | ||||
-rw-r--r-- | tests/disabled/not-testable/t5604b/T_1.scala | 6 | ||||
-rw-r--r-- | tests/disabled/not-testable/t5604b/T_2.scala | 6 | ||||
-rw-r--r-- | tests/disabled/not-testable/t5604b/Test_1.scala | 7 | ||||
-rw-r--r-- | tests/disabled/not-testable/t5604b/Test_2.scala | 7 | ||||
-rw-r--r-- | tests/disabled/not-testable/t5604b/pack_1.scala | 5 | ||||
-rw-r--r-- | tests/disabled/not-testable/t8134/A_1.scala | 4 | ||||
-rw-r--r-- | tests/disabled/not-testable/t8134/B_2.scala | 4 |
8 files changed, 59 insertions, 0 deletions
diff --git a/tests/disabled/not-representable/t3999b.scala b/tests/disabled/not-representable/t3999b.scala new file mode 100644 index 000000000..0f3f7d642 --- /dev/null +++ b/tests/disabled/not-representable/t3999b.scala @@ -0,0 +1,20 @@ +object `package` { + trait Score { def toString : String } + trait Test[+T <: Score] { def apply(s : String) : T } + + case class FT(f : Float) extends Score + implicit object FT extends Test[FT] { def apply(s : String) : FT = new FT(s.toFloat) } + + case class IT(i : Int) extends Score + implicit object IT extends Test[IT] { def apply(s : String) : IT = new IT(s.toInt) } +} + +class TT[+T <: Score](implicit val tb : Test[T]) { + def read(s : String) : T = tb(s) +} + +object Tester { + val tt = new TT[FT] + val r = tt.read("1.0") + r.toString +} diff --git a/tests/disabled/not-testable/t5604b/T_1.scala b/tests/disabled/not-testable/t5604b/T_1.scala new file mode 100644 index 000000000..179dcb10c --- /dev/null +++ b/tests/disabled/not-testable/t5604b/T_1.scala @@ -0,0 +1,6 @@ +// sandbox/t5604/T.scala +package t6504 + +trait T { + def foo: Boolean = false +} diff --git a/tests/disabled/not-testable/t5604b/T_2.scala b/tests/disabled/not-testable/t5604b/T_2.scala new file mode 100644 index 000000000..179dcb10c --- /dev/null +++ b/tests/disabled/not-testable/t5604b/T_2.scala @@ -0,0 +1,6 @@ +// sandbox/t5604/T.scala +package t6504 + +trait T { + def foo: Boolean = false +} diff --git a/tests/disabled/not-testable/t5604b/Test_1.scala b/tests/disabled/not-testable/t5604b/Test_1.scala new file mode 100644 index 000000000..f7c58ebe8 --- /dev/null +++ b/tests/disabled/not-testable/t5604b/Test_1.scala @@ -0,0 +1,7 @@ +// sandbox/t5604/Test.scala +package t6504 + +object Test { + def blerg1(a: Any): Any = if (foo) blerg1(0) + def blerg2(a: Any): Any = if (t6504.foo) blerg2(0) +} diff --git a/tests/disabled/not-testable/t5604b/Test_2.scala b/tests/disabled/not-testable/t5604b/Test_2.scala new file mode 100644 index 000000000..f7c58ebe8 --- /dev/null +++ b/tests/disabled/not-testable/t5604b/Test_2.scala @@ -0,0 +1,7 @@ +// sandbox/t5604/Test.scala +package t6504 + +object Test { + def blerg1(a: Any): Any = if (foo) blerg1(0) + def blerg2(a: Any): Any = if (t6504.foo) blerg2(0) +} diff --git a/tests/disabled/not-testable/t5604b/pack_1.scala b/tests/disabled/not-testable/t5604b/pack_1.scala new file mode 100644 index 000000000..f50d568bf --- /dev/null +++ b/tests/disabled/not-testable/t5604b/pack_1.scala @@ -0,0 +1,5 @@ +// sandbox/t5604/pack.scala +package t6504 + +object `package` extends T { +} diff --git a/tests/disabled/not-testable/t8134/A_1.scala b/tests/disabled/not-testable/t8134/A_1.scala new file mode 100644 index 000000000..32bce003f --- /dev/null +++ b/tests/disabled/not-testable/t8134/A_1.scala @@ -0,0 +1,4 @@ +// a.scala +package object pkg { + class AnyOps(val x: Any) extends AnyVal +} diff --git a/tests/disabled/not-testable/t8134/B_2.scala b/tests/disabled/not-testable/t8134/B_2.scala new file mode 100644 index 000000000..32bce003f --- /dev/null +++ b/tests/disabled/not-testable/t8134/B_2.scala @@ -0,0 +1,4 @@ +// a.scala +package object pkg { + class AnyOps(val x: Any) extends AnyVal +} |