Fix #7343: Detect inlined quotes

Author: nicolasstucki

compiler/src/dotty/tools/dotc/typer/Inliner.scala

@@ -1136,16 +1136,22 @@ class Inliner(call: tpd.Tree, rhsToInline: tpd.Tree)(implicit ctx: Context) {
     }
 
     override def typedIdent(tree: untpd.Ident, pt: Type)(implicit ctx: Context): Tree =
-      tryInline(tree.asInstanceOf[tpd.Tree]) `orElse` super.typedIdent(tree, pt)
+      checkStaging(tryInline(tree.asInstanceOf[tpd.Tree]) `orElse` super.typedIdent(tree, pt))
 
     override def typedSelect(tree: untpd.Select, pt: Type)(implicit ctx: Context): Tree = {
       assert(tree.hasType, tree)
       val qual1 = typed(tree.qualifier, selectionProto(tree.name, pt, this))
       val res = constToLiteral(untpd.cpy.Select(tree)(qual1, tree.name).withType(tree.typeOpt))
       ensureAccessible(res.tpe, tree.qualifier.isInstanceOf[untpd.Super], tree.sourcePos)
-      res
+      checkStaging(res)
     }
 
+    private def checkStaging(tree: Tree): tree.type =
+      val sym = tree.symbol
+      if sym == defn.InternalQuoted_exprQuote || sym == defn.InternalQuoted_typeQuote then
+        ctx.compilationUnit.needsStaging = true
+      tree
+
     override def typedIf(tree: untpd.If, pt: Type)(implicit ctx: Context): Tree =
       typed(tree.cond, defn.BooleanType) match {
         case cond1 @ ConstantValue(b: Boolean) =>

tests/pos-macros/i7343/Macro_1.scala

@@ -0,0 +1,7 @@
+import scala.quoted.{ QuoteContext, Expr }
+
+trait M {
+  def f: Any
+}
+
+inline def g(em: Expr[M])(using QuoteContext) = '{$em.f}

tests/pos-macros/i7343/Test_2.scala

@@ -0,0 +1,3 @@
+import scala.quoted.{ QuoteContext, Expr }
+
+def h(m: Expr[M])(using QuoteContext): Expr[Any] = g(m)

tests/pos-macros/i7343b/Macro_1.scala

@@ -0,0 +1 @@
+inline def g(using scala.quoted.QuoteContext) = '{1}

tests/pos-macros/i7343b/Test_2.scala

@@ -0,0 +1 @@
+def h(using scala.quoted.QuoteContext) = g