diff options
author | Jason Zaugg <jzaugg@gmail.com> | 2013-01-13 13:07:52 +0100 |
---|---|---|
committer | Jason Zaugg <jzaugg@gmail.com> | 2013-01-13 13:07:52 +0100 |
commit | 1212af48f474bc392b73d29f4719b5ff8d0a66fa (patch) | |
tree | 0afdf1d792e9dd3071fee5318ac56a8a98aad807 /test | |
parent | 9ea0a208346e86031a58fa9c28daf6103778a02f (diff) | |
download | scala-1212af48f474bc392b73d29f4719b5ff8d0a66fa.tar.gz scala-1212af48f474bc392b73d29f4719b5ff8d0a66fa.tar.bz2 scala-1212af48f474bc392b73d29f4719b5ff8d0a66fa.zip |
SI-5340 Change println to log
An esoteric implicit search could trigger an "amb prefix ..."
message to standard out. Now the message has been improved
and sent to the logger.
Diffstat (limited to 'test')
-rw-r--r-- | test/files/neg/t5340.check | 6 | ||||
-rw-r--r-- | test/files/neg/t5340.scala | 29 |
2 files changed, 35 insertions, 0 deletions
diff --git a/test/files/neg/t5340.check b/test/files/neg/t5340.check new file mode 100644 index 0000000000..2de19293c4 --- /dev/null +++ b/test/files/neg/t5340.check @@ -0,0 +1,6 @@ +t5340.scala:17: error: type mismatch; + found : MyApp.r.E + required: MyApp.s.E + println(b: s.E) + ^ +one error found diff --git a/test/files/neg/t5340.scala b/test/files/neg/t5340.scala new file mode 100644 index 0000000000..b283f13338 --- /dev/null +++ b/test/files/neg/t5340.scala @@ -0,0 +1,29 @@ +class Poly { + class E + object E { + implicit def conv(value: Any): E = sys.error("") + } +} + +object MyApp { + val r: Poly = sys.error("") + val s: Poly = sys.error("") + val b: r.E = sys.error("") + + // okay + s.E.conv(b): s.E + + // compilation fails with error below + println(b: s.E) + + // amb prefix: MyApp.s.type#class E MyApp.r.type#class E + // amb prefix: MyApp.s.type#class E MyApp.r.type#class E + // ../test/pending/run/t5310.scala:17: error: type mismatch; + // found : MyApp.r.E + // required: MyApp.s.E + // println(b: s.E) + // ^ + + // The type error is as expected, but the `amb prefix` should be logged, + // rather than printed to standard out. +} |