apply srewrite (explicit types for implicits + no procedure syntax

for constructors) to tests/untried/pos

1 files changed, 3 insertions, 3 deletions

diff --git a/tests/untried/pos/t5156.scala b/tests/untried/pos/t5156.scala
index 129e97a52..41b1c296e 100644
--- a/tests/untried/pos/t5156.scala
+++ b/tests/untried/pos/t5156.scala
@@ -6,14 +6,14 @@ object HList {
   type ::[H, T <: HList] = HCons[H, T]
   type HNil = HNil.type
 
-  implicit def hlistOps[L <: HList](l : L) = new {
+  implicit def hlistOps[L <: HList](l : L): AnyRef{def ::[H](h: H): HList.::[H,L]; def last(implicit last: HList.Last[L]): Unit} = new {
     def ::[H](h : H) : H :: L = HCons(h, l)
     def last(implicit last : Last[L]): Unit = {}
   }
 
   class Last[L <: HList]
-  implicit def hsingleLast[H] = new Last[H :: HNil]
-  implicit def hlistLast[H, T <: HList](implicit lt : Last[T]) = new Last[H :: T]
+  implicit def hsingleLast[H]: HList.Last[HList.::[H,HList.HNil]] = new Last[H :: HNil]
+  implicit def hlistLast[H, T <: HList](implicit lt : Last[T]): HList.Last[HList.::[H,T]] = new Last[H :: T]
 
   type III = Int :: Int :: Int :: HNil
   val iii : III = 0 :: 0 :: 0 :: HNil