Merge pull request #15072 from dotty-staging/fix-14679

Properly look for inline methods
scala · May 30, 2022 · 95ae793 · 95ae793
2 parents b40b9de + e611b33
commit 95ae793
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 1 deletion.
diff --git a/compiler/src/dotty/tools/dotc/typer/QuotesAndSplices.scala b/compiler/src/dotty/tools/dotc/typer/QuotesAndSplices.scala
@@ -167,7 +167,7 @@ trait QuotesAndSplices {
     assignType(tree, tpt)
 
   private def checkSpliceOutsideQuote(tree: untpd.Tree)(using Context): Unit =
-    if (level == 0 && !ctx.owner.ownersIterator.exists(_.is(Inline)))
+    if (level == 0 && !ctx.owner.ownersIterator.exists(_.isInlineMethod))
       report.error("Splice ${...} outside quotes '{...} or inline method", tree.srcPos)
     else if (level < 0)
       report.error(

diff --git a/tests/neg-macros/i14679.scala b/tests/neg-macros/i14679.scala
@@ -0,0 +1,7 @@
+import scala.quoted.*
+
+object A {
+  inline val a = ${b} // error
+
+  def b(using Quotes): Expr[Unit] = '{ () }
+}