Fix #10709: Add missing level check before inlining

If an a call to an inline method is within a quote, this call must not be inlined.

* Delay inlining within quotes.
* Disallow `inline def` within quotes. Same as `inline def` in `inline def`.

Author: nicolasstucki

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

@@ -1995,6 +1995,8 @@ class Typer extends Namer
       else typedExpr(ddef.rhs, tpt1.tpe.widenExpr)(using rhsCtx))
 
     if sym.isInlineMethod then
+      if StagingContext.level > 0 then
+        report.error("inline def cannot be within quotes", sym.sourcePos)
       val rhsToInline = PrepareInlineable.wrapRHS(ddef, tpt1, rhs1)
       PrepareInlineable.registerInlineInfo(sym, rhsToInline)
 
@@ -3293,7 +3295,7 @@ class Typer extends Namer
       }
       else if (methPart(tree).symbol.isAllOf(Inline | Deferred) && !Inliner.inInlineMethod) then
         errorTree(tree, i"Deferred inline ${methPart(tree).symbol.showLocated} cannot be invoked")
-      else if (Inliner.isInlineable(tree) && !suppressInline) {
+      else if (Inliner.isInlineable(tree) && !suppressInline && StagingContext.level == 0) {
         tree.tpe <:< wildApprox(pt)
         val errorCount = ctx.reporter.errorCount
         val meth = methPart(tree).symbol

tests/neg-macros/i10709/Macro_1.scala

@@ -0,0 +1,10 @@
+import scala.quoted._
+import scala.compiletime.summonInline
+
+object Invalid {
+  inline def apply[A, B]: Any = ${ invalidImpl[A, B] }
+
+  def invalidImpl[A, B](using qctx: Quotes, tpeA: Type[A], tpeB: Type[B]): Expr[Any] = {
+    '{summonInline[B <:< A]}
+  }
+}

tests/neg-macros/i10709/Test_2.scala

@@ -0,0 +1,6 @@
+class A
+class B extends A
+
+def test: Unit =
+  println(Invalid[A, B]) // compiles as expected
+  println(Invalid[B, A]) // error

tests/run-macros/i4803e/Macro_1.scala renamed to tests/neg-macros/i4803e.scala

@@ -2,7 +2,7 @@ import scala.quoted._
 
 object PowerMacro {
   def power2(x: Expr[Double])(using Quotes) = '{
-    inline def power(x: Double, n: Long): Double =
+    inline def power(x: Double, n: Long): Double = // error
       if (n == 0) 1.0
       else if (n % 2 == 0) { val y = x * x; power(y, n / 2) }
       else x * power(x, n - 1)

tests/run-macros/i4803f/Macro_1.scala renamed to tests/neg-macros/i4803f.scala

@@ -7,7 +7,7 @@ object PowerMacro {
     else '{ $x * ${powerCode(x, n - 1)} }
 
   def power2(x: Expr[Double])(using Quotes) = '{
-    inline def power(x: Double): Double = ${powerCode('x, 2)}
+    inline def power(x: Double): Double = ${powerCode('x, 2)} // error
     power($x)
   }
 }