aboutsummaryrefslogtreecommitdiff
path: root/tests/untried
diff options
context:
space:
mode:
Diffstat (limited to 'tests/untried')
-rw-r--r--tests/untried/pos/t0786.scala29
1 files changed, 0 insertions, 29 deletions
diff --git a/tests/untried/pos/t0786.scala b/tests/untried/pos/t0786.scala
deleted file mode 100644
index b347b0bc5..000000000
--- a/tests/untried/pos/t0786.scala
+++ /dev/null
@@ -1,29 +0,0 @@
-object ImplicitProblem {
- class M[T]
-
- def nullval[T] = null.asInstanceOf[T];
-
- trait Rep[T] {
- def eval: Int
- }
-
- implicit def toRep0(n: Int): ImplicitProblem.Rep[Int] = new Rep[Int] {
- def eval = 0
- }
-
- implicit def toRepN[T](n: M[T])(implicit f: T => Rep[T]): ImplicitProblem.Rep[ImplicitProblem.M[T]] = new Rep[M[T]] {
- def eval = f(nullval[T]).eval + 1
- }
-
- def depth[T <% Rep[T]](n: T) = n.eval
-
- def main(args: Array[String]): Unit = {
- println(depth(nullval[M[Int]])) // (1) this works
- println(nullval[M[Int]].eval) // (2) this works
-
- type m = M[Int]
- println(depth(nullval[m])) // (3) this doesn't compile on 2.7.RC1
- println(nullval[m].eval) // (4) this works
- }
-
-}