Fix decompilation of annotated module reference

Author: nicolasstucki

compiler/test/dotty/tools/dotc/FromTastyTests.scala

@@ -38,7 +38,6 @@ class FromTastyTests extends ParallelTesting {
         "t3612.scala",
       ),
       recompilationBlacklist = Set(
-        "simpleCaseObject",
         "annot-bootstrap.scala",
       )
     ).checkCompile()

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

@@ -654,11 +654,23 @@ class ShowSourceCode[T <: Tasty with Singleton](tasty0: T) extends Show[T](tasty
 
     def printTypeTree(tree: TypeTree): Buffer = tree match {
       case TypeTree.Synthetic() =>
-        printType(tree.tpe)
-        tree.tpe match {
-          case tpe @ Type.TypeRef(name, _) if name.endsWith("$") => this += ".type"
-          case tpe => this
-        }
+        def printTypeAndAnnots(tpe: Type): Buffer = tpe match {
+          case Type.AnnotatedType(tp, annot) =>
+            printTypeAndAnnots(tp)
+            this += " "
+            printAnnotation(annot)
+          case tpe @ Type.TypeRef(name, _) if name.endsWith("$") =>
+            printType(tpe)
+            this += ".type"
+          case Type.SymRef(ClassDef("Null$" | "Nothing$", _, _, _, _), Type.ThisType(Type.SymRef(PackageDef("runtime", _), NoPrefix()))) =>
+            // scala.runtime.Null$ and scala.runtime.Nothing$ are not modules, those are their actual names
+            printType(tpe)
+          case tpe @ Type.SymRef(ClassDef(name, _, _, _, _), _) if name.endsWith("$") =>
+            printType(tpe)
+            this += ".type"
+          case tpe => printType(tpe)
+        }
+        printTypeAndAnnots(tree.tpe)
 
       case TypeTree.TypeIdent(name) =>
         printType(tree.tpe)

tests/pos/simpleCaseObject.decompiled

@@ -3,7 +3,7 @@ package foo {
   case object Foo {
     override def hashCode(): scala.Int = 1045991777
     override def toString(): java.lang.String = "Foo"
-    override def canEqual(that: scala.Any): scala.Boolean = that.isInstanceOf[foo.Foo @scala.unchecked()]
+    override def canEqual(that: scala.Any): scala.Boolean = that.isInstanceOf[foo.Foo.type @scala.unchecked()]
     override def productArity: scala.Int = 0
     override def productPrefix: java.lang.String = "Foo"
     override def productElement(n: scala.Int): scala.Any = n match {