Some work on error messages, somewhat based on ...

Some work on error messages, somewhat based on ideas in #3092. No
review.

1 files changed, 21 insertions, 0 deletions

diff --git a/test/files/neg/predef-masking.scala b/test/files/neg/predef-masking.scala
new file mode 100644
index 0000000000..67b69aa169
--- /dev/null
+++ b/test/files/neg/predef-masking.scala
@@ -0,0 +1,21 @@
+// Testing predef masking
+import Predef.{ any2stringadd => _, _ }
+
+object StringPlusConfusion {
+  // Would love to do something about this error message, but by the
+  // time we get our hands on it the context is lost.
+  def f[T](x: T) = x + 5
+
+  // After we block out any2stringadd, the error is:
+  //
+  // work/a.scala:7: error: value + is not a member of type parameter T
+  //   def f[T](x: T) = x + 5
+  //                      ^
+  // Normally, it is:
+  //
+  // work/a.scala:7: error: type mismatch;
+  //  found   : Int(5)
+  //  required: String
+  //   def f[T](x: T) = x + 5
+  //                        ^
+}