Merge pull request #6248 from dotty-staging/fix-#6214

Fix #6214: Set correct owner for splices in quote patterns

Author: odersky

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

@@ -1988,8 +1988,10 @@ class Typer extends Namer
       case expr =>
         if (ctx.mode.is(Mode.QuotedPattern) && level == 1) {
           fullyDefinedType(pt, "quoted pattern selector", tree.span)
+          def spliceOwner(ctx: Context): Symbol =
+            if (ctx.mode.is(Mode.QuotedPattern)) spliceOwner(ctx.outer) else ctx.owner
           val pat = typedPattern(expr, defn.QuotedExprType.appliedTo(pt))(
-            spliceContext.retractMode(Mode.QuotedPattern))
+            spliceContext.retractMode(Mode.QuotedPattern).withOwner(spliceOwner(ctx)))
           Splice(pat)
         }
         else

tests/pos/i6214.scala

@@ -0,0 +1,7 @@
+import scala.quoted._
+object Test {
+  def res(x: quoted.Expr[Int]) given tasty.Reflection: quoted.Expr[Int] = x match {
+    case '{ val a: Int = $y; 1} => y                     // owner of `y` is `res`
+    case _ => '{ val b: Int = ${val c = 2; c.toExpr}; 1} // owner of `c` is `b`, but that seems to be OK
+  }
+}

tests/pos/i6214b.scala

@@ -0,0 +1,8 @@
+object Test {
+  def res(x: quoted.Expr[Int]) given tasty.Reflection: quoted.Expr[Int] = x match {
+    case '{ val a: Int = ${ Foo('{ val b: Int = $y; b }) }; a } => y // owner of y is res
+  }
+  object Foo {
+    def unapply(x: quoted.Expr[Int]): Option[quoted.Expr[Int]] = Some(x)
+  }
+}