Rename argText to globalPrecArgText

This function is doing two things at once, and we don't always want them
together, hence the more complex name.

Author: Blaisorblade

compiler/src/dotty/tools/dotc/printing/PlainPrinter.scala

@@ -101,7 +101,7 @@ class PlainPrinter(_ctx: Context) extends Printer {
   protected def toTextRefinement(rt: RefinedType) =
     (refinementNameString(rt) ~ toTextRHS(rt.refinedInfo)).close
 
-  protected def argText(arg: Type): Text = homogenizeArg(arg) match {
+  protected def globalPrecArgText(arg: Type): Text = homogenizeArg(arg) match {
     case arg: TypeBounds => "_" ~ toTextGlobal(arg)
     case arg => toTextGlobal(arg)
   }
@@ -144,7 +144,7 @@ class PlainPrinter(_ctx: Context) extends Printer {
       case tp: SingletonType =>
         toTextLocal(tp.underlying) ~ "(" ~ toTextRef(tp) ~ ")"
       case AppliedType(tycon, args) =>
-        (toTextLocal(tycon) ~ "[" ~ Text(args map argText, ", ") ~ "]").close
+        (toTextLocal(tycon) ~ "[" ~ Text(args map globalPrecArgText, ", ") ~ "]").close
       case tp: RefinedType =>
         val parent :: (refined: List[RefinedType @unchecked]) =
           refinementChain(tp).reverse

compiler/src/dotty/tools/dotc/printing/RefinedPrinter.scala

@@ -130,16 +130,16 @@ class RefinedPrinter(_ctx: Context) extends PlainPrinter(_ctx) {
 
   override def toText(tp: Type): Text = controlled {
     def toTextTuple(args: List[Type]): Text =
-      "(" ~ Text(args.map(argText), ", ") ~ ")"
+      "(" ~ Text(args.map(globalPrecArgText), ", ") ~ ")"
 
     def toTextFunction(args: List[Type], isImplicit: Boolean, isErased: Boolean): Text =
       changePrec(GlobalPrec) {
         val argStr: Text =
           if (args.length == 2 && !defn.isTupleType(args.head))
-            atPrec(InfixPrec) { argText(args.head) }
+            atPrec(InfixPrec) { globalPrecArgText(args.head) }
           else
             toTextTuple(args.init)
-        (keywordText("erased ") provided isErased) ~ (keywordText("implicit ") provided isImplicit) ~ argStr ~ " => " ~ argText(args.last)
+        (keywordText("erased ") provided isErased) ~ (keywordText("implicit ") provided isImplicit) ~ argStr ~ " => " ~ globalPrecArgText(args.last)
       }
 
     def toTextDependentFunction(appType: MethodType): Text = {
@@ -162,8 +162,8 @@ class RefinedPrinter(_ctx: Context) extends PlainPrinter(_ctx) {
        * needs to be parenthesized if it's an infix type, and vice versa. */
       val l :: r :: Nil = args
       val isRightAssoc = op.typeSymbol.name.endsWith(":")
-      val leftArg = if (isRightAssoc && isInfixType(l)) "(" ~ argText(l) ~ ")" else argText(l)
-      val rightArg = if (!isRightAssoc && isInfixType(r)) "(" ~ argText(r) ~ ")" else argText(r)
+      val leftArg = if (isRightAssoc && isInfixType(l)) "(" ~ globalPrecArgText(l) ~ ")" else globalPrecArgText(l)
+      val rightArg = if (!isRightAssoc && isInfixType(r)) "(" ~ globalPrecArgText(r) ~ ")" else globalPrecArgText(r)
 
       leftArg ~ " " ~ toTextLocal(op) ~ " " ~ rightArg
     }