1 files changed, 4 insertions, 4 deletions
diff --git a/tests/pending/pos/t5845.scala b/tests/pending/pos/t5845.scala
index 823c722c1..b747a025e 100644
--- a/tests/pending/pos/t5845.scala
+++ b/tests/pending/pos/t5845.scala
@@ -4,13 +4,13 @@ class Num[T] {
 }
 
 class A {
-  implicit def infixOps[T, CC[X] <: Num[X]](lhs: T)(implicit num: CC[T]) = num.mkOps
-  implicit val n1 = new Num[Int] { }
-  println(5 +++ 5)
+  implicit def infixOps[T, CC[X] <: Num[X]](lhs: T)(implicit num: CC[T]): num.Ops = num.mkOps
+  implicit val n1: Num[Int] = new Num[Int] { }
+  println(5 +++ 5) // should dependent be implicits forbidden?
 }
 
 class B {
   implicit def infixOps[T, CC[X] <: Num[X]](lhs: T)(implicit num: CC[T]) : CC[T]#Ops = num.mkOps
-  implicit val n1 = new Num[Int] {}
+  implicit val n1: Num[Int] = new Num[Int] {}
   println(5 +++ 5)
 }