Type desugared transparent inline def unapply call in the correct m…

…ode (scala#20108) This regressed in 5648f12. Fixes scala#20107.
isaacl · Apr 9, 2024 · 4ea930b · 4ea930b
2 parents 1e8a653 + 5672caa
commit 4ea930b
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/Applications.scala b/compiler/src/dotty/tools/dotc/typer/Applications.scala
@@ -1430,7 +1430,8 @@ trait Applications extends Compatibility {
             report.error(em"Structural unapply is not supported", unapplyFn.srcPos)
             (unapplyFn, unapplyAppCall)
           case Apply(fn, `dummyArg` :: Nil) =>
-            val inlinedUnapplyFn = Inlines.inlinedUnapplyFun(fn)
+            val inlinedUnapplyFn = withoutMode(Mode.Pattern):
+              Inlines.inlinedUnapplyFun(fn)
             (inlinedUnapplyFn, inlinedUnapplyFn.appliedToArgs(`dummyArg` :: Nil))
           case Apply(fn, args) =>
             val (fn1, app) = rec(fn)

diff --git a/tests/pos/i20107.scala b/tests/pos/i20107.scala
@@ -0,0 +1,6 @@
+object foo:
+	transparent inline def unapply[F](e: F): Option[F] = Some(e.asInstanceOf[F])
+
+class A:
+  def test(x: Int) = x match
+    case foo(e) => e