WIP, trying to satisfy pickler

Author: biboudis

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

@@ -45,8 +45,11 @@ class PlainPrinter(_ctx: Context) extends Printer {
   protected def debugPos: Boolean = ctx.settings.YdebugPos.value
 
   def homogenize(tp: Type): Type =
-    if (homogenizedView)
-      tp match {
+    if (homogenizedView) {
+       val a = tp.tryNormalize
+          if (a.exists) {
+            homogenize(a)
+          } else tp match {
         case tp: ThisType if tp.cls.is(Package) && !tp.cls.isEffectiveRoot =>
           ctx.requiredPackage(tp.cls.fullName).termRef
         case tp: TypeVar if tp.isInstantiated =>
@@ -62,9 +65,9 @@ class PlainPrinter(_ctx: Context) extends Printer {
         case AppliedType(tycon, args) =>
           tycon.dealias.appliedTo(args)
         case _ =>
-          tp
+         tp
       }
-    else tp
+    } else tp
 
   private def sameBound(lo: Type, hi: Type): Boolean =
     try ctx.typeComparer.isSameTypeWhenFrozen(lo, hi)

tests/run/tuples1b.check

@@ -0,0 +1,4 @@
+0
+(1)
+0
+()

tests/run/tuples1b.scala

@@ -0,0 +1,12 @@
+object Test extends App {
+  def x[T](xs: (T, T)): T = xs.head
+  def x1[T](xs: (T, T)): Tuple1[T] = xs.tail
+  def x2[T](xs: (T, T)): T = xs(0)
+  def x3[T](xs: (T, T)): Unit = xs(0)
+
+  println(x((0,1)))
+  println(x1((0,1)))
+  println(x2((0,1)))
+  println(x3((0,1)))
+
+}