apply srewrite (explicit types for implicits + no procedure syntax

for constructors) to tests/untried/pos

1 files changed, 2 insertions, 2 deletions

diff --git a/tests/untried/pos/depmet_implicit_chaining_zw.scala b/tests/untried/pos/depmet_implicit_chaining_zw.scala
index ce5ea476d..a9da1e976 100644
--- a/tests/untried/pos/depmet_implicit_chaining_zw.scala
+++ b/tests/untried/pos/depmet_implicit_chaining_zw.scala
@@ -7,11 +7,11 @@ trait ZipWith[N, S] {
 }
 
 object ZipWith {
-  implicit def ZeroZipWith[S] = new ZipWith[Zero, S] {
+  implicit def ZeroZipWith[S]: ZipWith[Zero,S]{type T = Stream[S]} = new ZipWith[Zero, S] {
     type T = Stream[S]
   }
 
-  implicit def SuccZipWith[N, S, R](implicit zWith : ZipWith[N, R]) = new ZipWith[Succ[N], S => R] {
+  implicit def SuccZipWith[N, S, R](implicit zWith : ZipWith[N, R]): ZipWith[Succ[N],S => R]{type T = Stream[S] => zWith.T} = new ZipWith[Succ[N], S => R] {
     type T = Stream[S] => zWith.T // dependent types replace the associated types functionality
   }