From 4c47e9435d8872a30f579ed451293d4772b95c31 Mon Sep 17 00:00:00 2001 From: Adriaan Moors Date: Tue, 14 Sep 2010 12:11:54 +0000 Subject: relax implicit divergence check patch contributed by Mark Harrah in http://article.gmane.org/gmane.comp.lang.scala/20700 reviewed by moors and odersky --- test/files/neg/t0226.check | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'test/files/neg/t0226.check') diff --git a/test/files/neg/t0226.check b/test/files/neg/t0226.check index e27ffbc1e1..af81e41a6a 100644 --- a/test/files/neg/t0226.check +++ b/test/files/neg/t0226.check @@ -4,8 +4,7 @@ t0226.scala:5: error: not found: type A1 t0226.scala:5: error: not found: type A1 (implicit _1: Foo[List[A1]], _2: Foo[A2]): Foo[Tuple2[List[A1], A2]] = ^ -t0226.scala:8: error: diverging implicit expansion for type Test.this.Foo[((List[Char], Int), (object Nil, Int))] -starting with method list2Foo in class Test +t0226.scala:8: error: could not find implicit value for parameter rep: Test.this.Foo[((List[Char], Int), (object Nil, Int))] foo(((List('b'), 3), (Nil, 4))) ^ three errors found -- cgit v1.2.3