diff options
author | Martin Odersky <odersky@gmail.com> | 2007-01-25 15:50:26 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2007-01-25 15:50:26 +0000 |
commit | 803488f3e2e1074c373cac55d8d4c08ac4a07eb9 (patch) | |
tree | 568687a91e8cf3c65c917cebc1b14a5573fb1570 /test/files/neg/bug900.check | |
parent | 44d630b0ced6d101a43955bd0755d098d6e613b2 (diff) | |
download | scala-803488f3e2e1074c373cac55d8d4c08ac4a07eb9.tar.gz scala-803488f3e2e1074c373cac55d8d4c08ac4a07eb9.tar.bz2 scala-803488f3e2e1074c373cac55d8d4c08ac4a07eb9.zip |
1.
2. More detailed error messages for ambiguous implicits. 3. Relaxed
rules for necessary overlap in pattern matching
Diffstat (limited to 'test/files/neg/bug900.check')
-rw-r--r-- | test/files/neg/bug900.check | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/test/files/neg/bug900.check b/test/files/neg/bug900.check new file mode 100644 index 0000000000..531ac5bee4 --- /dev/null +++ b/test/files/neg/bug900.check @@ -0,0 +1,10 @@ +bug900.scala:4: error: type mismatch; + found : Foo.this.x.type (with underlying type Foo.this.bar) + required: java.lang.Object +Note that implicit conversions are not applicable because they are ambiguous: + both method any2stringadd in object Predef of type (scala.Any)scala.runtime.StringAdd + and method any2ArrowAssoc in object Predef of type [a](a)scala.Predef.ArrowAssoc[a] + are possible conversion functions from Foo.this.x.type to java.lang.Object + def break(): x.type + ^ +one error found |