Move more logic from RefinedPrinter to DecompilerPrinter

RefinedPrinter cannot make use of symbols in order to be able to print
after all phases (e.g. Parser).

Author: allanrenucci

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

@@ -54,15 +54,16 @@ class DecompilerPrinter(_ctx: Context) extends RefinedPrinter(_ctx) {
     decl ~~ typeText(nameIdText(tree)) ~ withEnclosingDef(tree) { toTextTemplate(impl) } ~ ""
   }
 
-  override protected def selfToText(impl: Template): Text =
-    super.selfToText(impl).provided(!impl.constr.symbol.owner.is(Module))
-
   override protected def toTextTemplate(impl: Template, ofNew: Boolean = false): Text = {
     def isSyntheticParent(sym: Symbol): Boolean = {
       sym.maybeOwner == defn.ObjectClass ||
       (sym == defn.ProductClass && impl.symbol.owner.is(Case))
     }
-    val impl1 = impl.copy(parents = impl.parents.filterNot(p => isSyntheticParent(p.symbol)))
+    val impl1 = impl.copy(
+      constr = impl.constr.copy(vparamss = Nil), // don't print constructor for objects
+      parents = impl.parents.filterNot(p => isSyntheticParent(p.symbol)),
+      self = theEmptyValDef // don't print self type for objects
+    )
     super.toTextTemplate(impl1, ofNew)
   }
 

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

@@ -640,16 +640,18 @@ class RefinedPrinter(_ctx: Context) extends PlainPrinter(_ctx) {
     val tparamsTxt = withEnclosingDef(constr) { tparamsText(tparams) }
     val primaryConstrs = if (constr.rhs.isEmpty) Nil else constr :: Nil
     val prefix: Text =
-      if (constr.symbol.owner.is(Module)) ""
-      else if (vparamss.isEmpty || primaryConstrs.nonEmpty) tparamsTxt
+      if (vparamss.isEmpty || primaryConstrs.nonEmpty) tparamsTxt
       else {
         var modsText = modText(constr.mods, "")
         if (!modsText.isEmpty) modsText = " " ~ modsText
         if (constr.mods.hasAnnotations && !constr.mods.hasFlags) modsText = modsText ~~ " this"
         withEnclosingDef(constr) { addVparamssText(tparamsTxt ~~ modsText, vparamss) }
       }
     val parentsText = Text(parents map constrText, keywordStr(" with "))
-    val selfText = selfToText(impl)
+    val selfText = {
+      val selfName = if (self.name == nme.WILDCARD) keywordStr("this") else self.name.toString
+      (selfName ~ optText(self.tpt)(": " ~ _) ~ " =>").close
+    }.provided(!self.isEmpty)
     val body = if (ctx.settings.YtestPickler.value) {
       // Pickling/unpickling reorders the body members, so we need to homogenize
       val (params, rest) = impl.body partition {
@@ -661,19 +663,11 @@ class RefinedPrinter(_ctx: Context) extends PlainPrinter(_ctx) {
       params ::: rest
     } else impl.body
 
-    val bodyText =
-      (if (constr.symbol.owner.is(Module)) " {" else "{") ~~
-      selfText ~~ toTextGlobal(primaryConstrs ::: body, "\n") ~ "}"
+    val bodyText = "{" ~~ selfText ~~ toTextGlobal(primaryConstrs ::: body, "\n") ~ "}"
 
     prefix ~ (keywordText(" extends") provided (!ofNew && parents.nonEmpty)) ~~ parentsText ~~ bodyText
   }
 
-  protected def selfToText(impl: Template): Text = {
-    val self = impl.self
-    val selfName = if (self.name == nme.WILDCARD) keywordStr("this") else self.name.toString
-    (selfName ~ optText(self.tpt)(": " ~ _) ~ " =>").close provided (!self.isEmpty)
-  }
-
   protected def templateText(tree: TypeDef, impl: Template): Text = {
     val decl = modText(tree.mods, keywordStr(if ((tree).mods is Trait) "trait" else "class"))
     decl ~~ typeText(nameIdText(tree)) ~ withEnclosingDef(tree) { toTextTemplate(impl) } ~