Handle normalization of implicit dependent methods.

Now handles included test if toplevel implicit is given, but not yet without.

1 files changed, 5 insertions, 1 deletions

diff --git a/tests/pending/pos/depmet_implicit_chaining_zw.scala b/tests/pending/pos/depmet_implicit_chaining_zw.scala
index a9da1e976..f0e8a373b 100644
--- a/tests/pending/pos/depmet_implicit_chaining_zw.scala
+++ b/tests/pending/pos/depmet_implicit_chaining_zw.scala
@@ -22,7 +22,11 @@ object ZipWith {
   // thus, I present ?: implicitly on steroids!
   def ?[T <: AnyRef](implicit w: T): w.type = w
 
+  type _0 = Zero
+  type _1 = Succ[Zero]
   type _2 = Succ[Succ[Zero]]
-  val zw = ?[ZipWith[_2, Int => String => Boolean]].x // : Stream[Int] => Stream[String] => Stream[Boolean]
+  val zw = ?[ZipWith[_2, Int => String => Boolean]](
+    SuccZipWith[_1, Int, String => Boolean](
+      SuccZipWith[_0, String, Boolean])).x
   // val zw = implicitly[ZipWith[Succ[Succ[Zero]], Int => String => Boolean]{type T = Stream[Int] => Stream[String] => Stream[Boolean]}].x
 }