diff options
author | Martin Odersky <odersky@gmail.com> | 2007-10-31 17:33:02 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2007-10-31 17:33:02 +0000 |
commit | bff42682bc489dcdad34ec91f34e6c2c3dca7cf1 (patch) | |
tree | 9c496712c4f98e91261f15cb5b5a5a0c1b943656 /test/files/neg/bug696.check | |
parent | 9e8c022640f74e963baa930dd657d920a914a43d (diff) | |
download | scala-bff42682bc489dcdad34ec91f34e6c2c3dca7cf1.tar.gz scala-bff42682bc489dcdad34ec91f34e6c2c3dca7cf1.tar.bz2 scala-bff42682bc489dcdad34ec91f34e6c2c3dca7cf1.zip |
fixed several problems with implicits.
Changed ways inner types of modules print: Module.this.Type =>
Module.type
Diffstat (limited to 'test/files/neg/bug696.check')
-rw-r--r-- | test/files/neg/bug696.check | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/test/files/neg/bug696.check b/test/files/neg/bug696.check index 28ce342cf1..2bc09820ed 100644 --- a/test/files/neg/bug696.check +++ b/test/files/neg/bug696.check @@ -1,9 +1,9 @@ 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] + because the implicit parameter type TypeUtil0.Type[S] + is not strictly contained in the signature TypeUtil0.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. +bug696.scala:4: error: no implicit argument matching parameter type TypeUtil0.Type[Any] was found. as[Any](null); ^ two errors found |