Fix printed type bounds in LambdaTypes

Author: nicolasstucki

library/src/scala/tasty/util/ShowSourceCode.scala

@@ -475,34 +475,41 @@ class ShowSourceCode[T <: Tasty with Singleton](tasty0: T) extends Show[T](tasty
 
     def printTargDef(arg: TypeDef, isMember: Boolean = false): Buffer = {
       val TypeDef(name, rhs) = arg
+      def printBounds(bounds: TypeBoundsTree): Buffer = {
+        val TypeBoundsTree(lo, hi) = bounds
+        lo match {
+          case TypeTree.Synthetic() =>
+          case _ =>
+            this += " >: "
+            printTypeTree(lo)
+        }
+        hi match {
+          case TypeTree.Synthetic() => this
+          case _ =>
+            this += " <: "
+            printTypeTree(hi)
+        }
+      }
       this += name
       rhs match {
-        case TypeBoundsTree(lo, hi) =>
-          lo match {
-            case TypeTree.Synthetic() => this
-            case _ =>
-              this += " >: "
-              printTypeTree(lo)
-          }
-          hi match {
-            case TypeTree.Synthetic() => this
-            case _ =>
-              this += " <: "
-              printTypeTree(hi)
-          }
+        case rhs @ TypeBoundsTree(lo, hi) => printBounds(rhs)
         case rhs @ SyntheticBounds() =>
           printTypeOrBound(rhs.tpe)
         case rhs @ TypeTree.TypeLambdaTree(tparams, body) =>
+          def printParam(t: TypeOrBoundsTree): Unit = t match {
+            case t @ TypeBoundsTree(_, _) => printBounds(t)
+            case t @ TypeTree() => printTypeTree(t)
+          }
           def printSeparated(list: List[TypeDef]): Unit = list match {
             case Nil =>
             case x :: Nil =>
               val TypeDef(name, trhs) = x
               this += name
-              printTypeOrBoundsTree(trhs)
+              printParam(trhs)
             case x :: xs =>
               val TypeDef(name, trhs) = x
               this += name
-              printTypeOrBoundsTree(trhs)
+              printParam(trhs)
               this += ", "
               printSeparated(xs)
           }

tests/pos/i1181.decompiled

@@ -1,7 +1,7 @@
 /** Decompiled from out/posTestFromTasty/pos/i1181/Test.class */
 object Test {
-  def foo[M[_$1 >: scala.Nothing <: scala.Any]](x: M[scala.Int]): M[scala.Int] = x
-  type Alias[A >: scala.Nothing <: scala.Any] = scala.Tuple2[A, A]
+  def foo[M[_$1]](x: M[scala.Int]): M[scala.Int] = x
+  type Alias[A] = scala.Tuple2[A, A]
   val x: Test.Alias[scala.Int] = scala.Tuple2.apply[scala.Int, scala.Int](1, 2)
   Test.foo[Test.Alias](Test.x)
   Test.foo[[A >: scala.Nothing <: scala.Any] => scala.Tuple2[A, A]](Test.x)