Fixing prefix of implicit members

Implicit members are TermRefs that should have a prefix corresponding to the object of which they are a member. They used to have the ThisType of their owner before.

`implicits2` provides a way to verify that the change works. It would be good to turn this
into a more robust test at some point.  But it's not high preiority, so I prefer no test to a fragile test.

1 files changed, 19 insertions, 0 deletions

diff --git a/tests/pos/implicits2.scala b/tests/pos/implicits2.scala
new file mode 100644
index 000000000..8e566c19f
--- /dev/null
+++ b/tests/pos/implicits2.scala
@@ -0,0 +1,19 @@
+/* Compile with
+
+    dotc implicits2.scala -Xprint:front -Xprint-types -verbose
+
+    and verify that the inserted wrapString comes from Predef. You should see
+
+    val x: <root>.scala.collection.immutable.WrappedString =
+      <
+        <scala.Predef.wrapString:
+          ((s: java.lang.String)scala.collection.immutable.WrappedString)
+        >
+      (<"abc":java.lang.String("abc")>):scala.collection.immutable.WrappedString
+        >
+*/
+object implicits2 {
+
+  val x: scala.collection.immutable.WrappedString = "abc"
+
+}