diff options
Diffstat (limited to 'tests/untried')
-rw-r--r-- | tests/untried/pos/t0786.scala | 29 |
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 - } - -} |