Fix inline printing of types

odersky · odersky · commit 38b231b2ddf3 · 2018-08-09T13:32:15.000+02:00
We should print the type symbol, not the class symbol, as otherwise
abstract and alias types that are annotated with @showAsInline do not
print correctly.
diff --git a/compiler/src/dotty/tools/dotc/printing/RefinedPrinter.scala b/compiler/src/dotty/tools/dotc/printing/RefinedPrinter.scala
@@ -165,7 +165,7 @@ class RefinedPrinter(_ctx: Context) extends PlainPrinter(_ctx) {
       val leftArg = if (isRightAssoc && isInfixType(l)) "(" ~ argText(l) ~ ")" else argText(l)
       val rightArg = if (!isRightAssoc && isInfixType(r)) "(" ~ argText(r) ~ ")" else argText(r)
 
-      leftArg ~ " " ~ simpleNameString(op.classSymbol) ~ " " ~ rightArg
+      leftArg ~ " " ~ simpleNameString(op.typeSymbol) ~ " " ~ rightArg
     }
 
     homogenize(tp) match {

Original file line number	Diff line number	Diff line change
`@@ -165,7 +165,7 @@ class RefinedPrinter(_ctx: Context) extends PlainPrinter(_ctx) {`
`165`	`165`	`val leftArg = if (isRightAssoc && isInfixType(l)) "(" ~ argText(l) ~ ")" else argText(l)`
`166`	`166`	`val rightArg = if (!isRightAssoc && isInfixType(r)) "(" ~ argText(r) ~ ")" else argText(r)`
`167`	`167`
`168`		`- leftArg ~ " " ~ simpleNameString(op.classSymbol) ~ " " ~ rightArg`
	`168`	`+ leftArg ~ " " ~ simpleNameString(op.typeSymbol) ~ " " ~ rightArg`
`169`	`169`	`}`
`170`	`170`
`171`	`171`	`homogenize(tp) match {`