Fix quoted pattens with references to private fields

Reverts 0b072d6 Fixes scala#15676
dotty-staging · Aug 9, 2022 · dbb0848 · dbb0848
1 parent e560c2d
commit dbb0848
Show file tree

Hide file tree

Showing 3 changed files with 16 additions and 1 deletion.
diff --git a/compiler/src/dotty/tools/dotc/typer/QuotesAndSplices.scala b/compiler/src/dotty/tools/dotc/typer/QuotesAndSplices.scala
@@ -49,7 +49,7 @@ trait QuotesAndSplices {
       report.error(em"Quotes require stable Quotes, but found non stable $qctx", qctx.srcPos)
 
     if ctx.mode.is(Mode.Pattern) then
-      typedQuotePattern(tree, pt, qctx).withSpan(tree.span)
+      makeInlineable(typedQuotePattern(tree, pt, qctx).withSpan(tree.span))
     else if tree.quoted.isType then
       val msg = em"""Quoted types `'[..]` can only be used in patterns.
                     |

diff --git a/tests/pos-macros/i15676/Macro_1.scala b/tests/pos-macros/i15676/Macro_1.scala
@@ -0,0 +1,14 @@
+package foo
+
+import scala.quoted.*
+
+private[foo] object Foo:
+  def apply(): Int = ???
+
+inline def test(): Unit = ${ testExpr() }
+
+private def testExpr()(using Quotes): Expr[Unit] = {
+  '{ Foo() } match
+    case '{ Foo() } =>
+  '{}
+}
diff --git a/tests/pos-macros/i15676/Test_2.scala b/tests/pos-macros/i15676/Test_2.scala
@@ -0,0 +1 @@
+def Test() = foo.test()