diff --git a/tests/run/i23776.check b/tests/run/i23776.check
new file mode 100644
index 000000000000..f2b2a017d25a
--- /dev/null
+++ b/tests/run/i23776.check
@@ -0,0 +1 @@
+a = 0, b = 1, c = 2
diff --git a/tests/run/i23776.scala b/tests/run/i23776.scala
new file mode 100644
index 000000000000..9d4a98144f2e
--- /dev/null
+++ b/tests/run/i23776.scala
@@ -0,0 +1,7 @@
+inline def f(t0: Int, t1: Int, t2: Int) = {
+  inline (t0, t1, t2) match {
+    case (a: Int, b: Int, c: Int) => println(s"a = $a, b = $b, c = $c")
+  }
+}
+
+@main def Test = f(0, 1, 2)