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
           )
 

tests/run-macros/exprSummonAfterMatch/Macro_1.scala

@@ -0,0 +1,23 @@
+import scala.compiletime.{erasedValue, summonFrom}
+
+import scala.quoted._
+
+inline given summonAfterTypeMatch: Any = ${ summonAfterTypeMatchExpr }
+
+private def summonAfterTypeMatchExpr(using Quotes): Expr[Any] =
+  Type.of[scala.Int *: EmptyTuple] match
+    case '[ head *: EmptyTuple ] =>
+      println(quotes.reflect.TypeRepr.of[Foo[Int]])
+      // AppliedType(TypeRef(ThisType(TypeRef(ThisType(TypeRef(NoPrefix,module class <root>)),module class <empty>)),Foo),List(
+      //   TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),object scala),Int)))
+
+      println(quotes.reflect.TypeRepr.of[Foo[head]])
+      // AppliedType(TypeRef(ThisType(TypeRef(ThisType(TypeRef(NoPrefix,module class <root>)),module class <empty>)),Foo),List(
+      //   TypeRef(TermRef(ThisType(TypeRef(NoPrefix,module class <root>)),object scala),class Int)))
+
+      Expr.summon[Foo[Int]].get // ok
+      Expr.summon[Foo[head]].get
+
+trait Foo[T]
+
+given IntFoo[T <: Int]: Foo[T] = ???

tests/run-macros/exprSummonAfterMatch/Test_2.scala

@@ -0,0 +1 @@
+def test: Unit = summonAfterTypeMatch