From a205b6b06e705711308c9ad3abac74ba66b6266f Mon Sep 17 00:00:00 2001 From: Sean McDirmid Date: Mon, 17 Sep 2007 16:36:10 +0000 Subject: Massive check-in for IDE. --- test/files/neg/bug696.check | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'test/files/neg/bug696.check') diff --git a/test/files/neg/bug696.check b/test/files/neg/bug696.check index a2f31702b7..28ce342cf1 100644 --- a/test/files/neg/bug696.check +++ b/test/files/neg/bug696.check @@ -2,8 +2,8 @@ bug696.scala:3: error: implicit method WithType is not contractive, because the implicit parameter type TypeUtil0.this.Type[S] is not strictly contained in the signature TypeUtil0.this.Type[S with T] implicit def WithType[S,T](implicit tpeS : Type[S], tpeT : Type[T]) : Type[S with T] = null - ^ + ^ bug696.scala:4: error: no implicit argument matching parameter type TypeUtil0.this.Type[Any] was found. as[Any](null); - ^ + ^ two errors found -- cgit v1.2.3