Add showRef utility method

Author: odersky

compiler/src/dotty/tools/dotc/core/TypeUtils.scala

@@ -260,5 +260,9 @@ class TypeUtils:
 
       self.decl(nme.CONSTRUCTOR).altsWith(isApplicable).map(_.symbol)
 
+    def showRef(using Context): String = self match
+      case self: SingletonType => ctx.printer.toTextRef(self).show
+      case _ => self.show
+
 end TypeUtils
 

compiler/src/dotty/tools/dotc/typer/Implicits.scala

@@ -558,8 +558,8 @@ object Implicits:
       var str1 = err.refStr(alt1.ref)
       var str2 = err.refStr(alt2.ref)
       if str1 == str2 then
-        str1 = ctx.printer.toTextRef(alt1.ref).show
-        str2 = ctx.printer.toTextRef(alt2.ref).show
+        str1 = alt1.ref.showRef
+        str2 = alt2.ref.showRef
       em"both $str1 and $str2 $qualify".withoutDisambiguation()
 
     override def toAdd(using Context) =
@@ -1728,7 +1728,7 @@ trait Implicits:
                     "argument"
 
                 def showResult(r: SearchResult) = r match
-                  case r: SearchSuccess => ctx.printer.toTextRef(r.ref).show
+                  case r: SearchSuccess => r.ref.showRef
                   case r => r.show
 
                 result match

compiler/src/dotty/tools/dotc/typer/ImportSuggestions.scala

@@ -336,7 +336,7 @@ trait ImportSuggestions:
         if ref.symbol.is(ExtensionMethod) then
           s"${ctx.printer.toTextPrefixOf(ref).show}${ref.symbol.name}"
         else
-          ctx.printer.toTextRef(ref).show
+         ref.showRef
       s"  import $imported"
     val suggestions = suggestedRefs
       .zip(suggestedRefs.map(importString))