I took the following comments at their word:

// Cannot be created directly; one should always use `singleType'
// for creation. Cannot be created directly; one should always use
// `refinedType' for creation. Cannot be created directly; one should
// always use `typeRef' for creation. (@M: Otherwise hashing breaks)

This involved altering about 15 locations. If there was a rhyme or a
reason as to why those particular places were entitled to ignore the
"always" dictate, I trust it will emerge from some corner now. Until
then, it's nice to see some code following its official marching orders.
Review by odersky.

1 files changed, 1 insertions, 1 deletions

diff --git a/src/compiler/scala/tools/nsc/typechecker/Implicits.scala b/src/compiler/scala/tools/nsc/typechecker/Implicits.scala
index e0155e6c9a..4fc248b574 100644
--- a/src/compiler/scala/tools/nsc/typechecker/Implicits.scala
+++ b/src/compiler/scala/tools/nsc/typechecker/Implicits.scala
@@ -750,7 +750,7 @@ self: Analyzer =>
           companion.moduleClass match {
             case mc: ModuleClassSymbol =>
               buf += (mc.implicitMembers map (im =>
-                new ImplicitInfo(im.name, SingleType(pre, companion), im)))
+                new ImplicitInfo(im.name, singleType(pre, companion), im)))
             case _ =>
           }
         }