diff options
Diffstat (limited to 'tests/untried/pos/t0786.scala')
-rw-r--r-- | tests/untried/pos/t0786.scala | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/tests/untried/pos/t0786.scala b/tests/untried/pos/t0786.scala new file mode 100644 index 000000000..4cd09f4a1 --- /dev/null +++ b/tests/untried/pos/t0786.scala @@ -0,0 +1,29 @@ +object ImplicitProblem { + class M[T] + + def nullval[T] = null.asInstanceOf[T]; + + trait Rep[T] { + def eval: Int + } + + implicit def toRep0(n: Int) = new Rep[Int] { + def eval = 0 + } + + implicit def toRepN[T](n: M[T])(implicit f: T => Rep[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 + } + +} |