wip

Author: nicolasstucki

compiler/src/dotty/tools/dotc/transform/TreeChecker.scala

@@ -733,10 +733,10 @@ object TreeChecker {
       if nowDefinedSyms.contains(tree.symbol.maybeOwner) then
         super.assertDefined(tree)
 
-    override def checkNoOrphans(tp0: Type, tree: untpd.Tree = untpd.EmptyTree)(using Context): Type =
-      // TODO: Is this fails on tests/run-macros/quoted-ToExpr-derivation-macro.
-      //       Is this a bug?
-      tp0 // Do not check for orphans
+    // override def checkNoOrphans(tp0: Type, tree: untpd.Tree = untpd.EmptyTree)(using Context): Type =
+    //   // TODO: Is this fails on tests/run-macros/quoted-ToExpr-derivation-macro.
+    //   //       Is this a bug?
+    //   tp0 // Do not check for orphans
   }
 
   def checkMacroGeneratedTree(original: tpd.Tree, expansion: tpd.Tree)(using Context): Unit =
@@ -753,19 +753,19 @@ object TreeChecker {
       catch
         case err: java.lang.AssertionError =>
           report.error(
-            em"""Malformed tree was found while expanding macro with -Xcheck-macros.
-                |The tree does not conform to the compiler's tree invariants.
-                |
-                |Macro was:
-                |${original}
-                |
-                |The macro returned:
-                |${expansion}
-                |
-                |Error:
-                |${err.getMessage}
-                |
-                |""",
+            s"""Malformed tree was found while expanding macro with -Xcheck-macros.
+               |The tree does not conform to the compiler's tree invariants.
+               |
+               |Macro was:
+               |${scala.quoted.runtime.impl.QuotesImpl.showDecompiledTree(original)}
+               |
+               |The macro returned:
+               |${scala.quoted.runtime.impl.QuotesImpl.showDecompiledTree(expansion)}
+               |
+               |Error:
+               |${err.getMessage}
+               |
+               |""",
             original
           )