wip

smarter · Apr 4, 2024 · c394171 · c394171
1 parent a7f00e2
commit c394171
Show file tree

Hide file tree

Showing 2 changed files with 9 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,7 @@ 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 = Inlines.inlinedUnapplyFun(fn)(using ctx.retractMode(Mode.Pattern))
             (inlinedUnapplyFn, inlinedUnapplyFn.appliedToArgs(`dummyArg` :: Nil))
           case Apply(fn, args) =>
             val (fn1, app) = rec(fn)

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