diff options
author | Sean McDirmid <sean.mcdirmid@gmail.com> | 2007-09-17 16:36:10 +0000 |
---|---|---|
committer | Sean McDirmid <sean.mcdirmid@gmail.com> | 2007-09-17 16:36:10 +0000 |
commit | a205b6b06e705711308c9ad3abac74ba66b6266f (patch) | |
tree | 49aa189b4917b20d76c2da02cbf9475af5a49662 /test/files/neg/bug696.check | |
parent | 3f9b82c88d74c1b03daf5131b50c172213f40a63 (diff) | |
download | scala-a205b6b06e705711308c9ad3abac74ba66b6266f.tar.gz scala-a205b6b06e705711308c9ad3abac74ba66b6266f.tar.bz2 scala-a205b6b06e705711308c9ad3abac74ba66b6266f.zip |
Massive check-in for IDE.
Diffstat (limited to 'test/files/neg/bug696.check')
-rw-r--r-- | test/files/neg/bug696.check | 4 |
1 files changed, 2 insertions, 2 deletions
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 |