Type desugared transparent inline def unapply call in the correct mode

This regressed in 5648f12. Fixes #20107.
scala · Apr 5, 2024 · 5672caa · 5672caa
1 parent a7f00e2
commit 5672caa
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
@@ -1429,7 +1429,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