From 64709f8710b7c4b9c5155a0b325297f50f134294 Mon Sep 17 00:00:00 2001
From: Decel <8268812+Decel@users.noreply.github.com>
Date: Wed, 15 Mar 2023 03:22:30 +0100
Subject: [PATCH] Add a regression test

---
 tests/pos/i10369.scala | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 tests/pos/i10369.scala

diff --git a/tests/pos/i10369.scala b/tests/pos/i10369.scala
new file mode 100644
index 000000000000..8689c2833664
--- /dev/null
+++ b/tests/pos/i10369.scala
@@ -0,0 +1,15 @@
+type Upgrade[T] = T match
+  case Int => Double
+  case Char => String
+  case Boolean => Boolean
+
+val upgrade: [t] => t => Upgrade[t] = new PolyFunction:
+  def apply[T](x: T): Upgrade[T] = x match
+    case x: Int => x.toDouble
+    case x: Char => x.toString
+    case x: Boolean => !x
+
+val upgrade2: [t] => t => Upgrade[t] = [t] => (x: t) => x match
+  case x: Int => x.toDouble
+  case x: Char => x.toString
+  case x: Boolean => !x