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.

Author: nicolasstucki

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

@@ -3293,7 +3293,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