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/implicits.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/implicits.check')
-rw-r--r-- | test/files/neg/implicits.check | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/test/files/neg/implicits.check b/test/files/neg/implicits.check index 9f9f7f1ced..266d92c765 100644 --- a/test/files/neg/implicits.check +++ b/test/files/neg/implicits.check @@ -1,4 +1,7 @@ -implicits.scala:21: error: ambiguous implicit value: +implicits.scala:21: error: type mismatch; + found : Pos + required: ?{val +: ?} +Note that implicit conversions are not applicable because they are ambiguous: most specific definition is: method pos2int in object Super of type (Pos)scala.Int yet alternative definition method any2plus in object Sub of type (scala.Any)Sub.Plus is defined in a subclass. |