Fix staged quoted.Type in macro

Author: nicolasstucki

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

@@ -161,18 +161,22 @@ class ReifyQuotes extends MacroTransformWithImplicits {
      */
     def tryHeal(tp: Type, pos: Position)(implicit ctx: Context): Option[String] = tp match {
       case tp: TypeRef =>
-        val reqType = defn.QuotedTypeType.appliedTo(tp)
-        val tag = ctx.typer.inferImplicitArg(reqType, pos)
-        tag.tpe match {
-          case fail: SearchFailureType =>
-            Some(i"""
-                    |
-                    | The access would be accepted with the right type tag, but
-                    | ${ctx.typer.missingArgMsg(tag, reqType, "")}""")
-          case _ =>
-            if (level > 0) // TODO do we need to find the tag for level 0?
+        if (level == 0) {
+          assert(ctx.owner.is(Macro))
+          None
+        } else {
+          val reqType = defn.QuotedTypeType.appliedTo(tp)
+          val tag = ctx.typer.inferImplicitArg(reqType, pos)
+          tag.tpe match {
+            case fail: SearchFailureType =>
+              Some(i"""
+                      |
+                      | The access would be accepted with the right type tag, but
+                      | ${ctx.typer.missingArgMsg(tag, reqType, "")}""")
+            case _ =>
               importedTags(tp) = nested(isQuote = false).transform(tag)
-            None
+              None
+          }
         }
       case _ =>
         Some("")

tests/pos/i4023c/Macro_1.scala

@@ -0,0 +1,5 @@
+import scala.quoted._
+object Macro {
+  inline def ff[T](x: T): T = ~impl('(x), '[T])
+  def impl[T](x: Expr[T], t: Type[T]): Expr[T] = '{ (~x): ~t }
+}

tests/pos/i4023c/Test_2.scala

@@ -0,0 +1,7 @@
+object Test {
+  Macro.ff(3)
+
+  def f[T](x: T) = {
+    Macro.ff(x)
+  }
+}