Merge pull request #6788 from dotty-staging/fix-#6783

Fix #6783: Check all owner to detect if inside an `inline` method

Author: nicolasstucki

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

@@ -2259,7 +2259,7 @@ class Typer extends Namer
   }
 
   private def checkSpliceOutsideQuote(tree: untpd.Tree)(implicit ctx: Context): Unit = {
-    if (level == 0 && !ctx.owner.isInlineMethod)
+    if (level == 0 && !ctx.owner.ownersIterator.exists(_.is(Inline)))
       ctx.error("Splice ${...} outside quotes '{...} or inline method", tree.sourcePos)
     else if (level < 0)
       ctx.error(

tests/neg/i6783.scala

@@ -0,0 +1,7 @@
+import scala.quoted._
+
+inline def test(f: (Int, Int) => Int) = ${ // error: Malformed macro
+  testImpl((a: Expr[Int], b: Expr[Int]) =>  '{ f(${a}, ${b}) })
+}
+
+def testImpl(f: (Expr[Int], Expr[Int]) => Expr[Int]): Expr[Int] = ???

tests/pos/i6783.scala

@@ -0,0 +1,7 @@
+import scala.quoted._
+
+def testImpl(f: Expr[(Int, Int) => Int]): Expr[Int] = f('{1}, '{2})
+
+inline def test(f: (Int, Int) => Int) = ${
+  testImpl('f)
+}