1 files changed, 29 insertions, 0 deletions
diff --git a/tests/pos/t0786.scala b/tests/pos/t0786.scala
new file mode 100644
index 000000000..b320de0ed
--- /dev/null
+++ b/tests/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): Rep[Int] = new Rep[Int] {
+    def eval = 0
+  }
+
+  implicit def toRepN[T](n: M[T])(implicit f: T => Rep[T]): Rep[M[T]] = new Rep[M[T]] {
+    def eval = f(nullval[T]).eval + 1
+  }
+
+  def depth[T](n: T)(implicit ev: T => Rep[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
+  }
+
+}