From 5877cc779cc5a2ce523f0e647d0617397e93603c Mon Sep 17 00:00:00 2001
From: Nicolas Stucki <nicolas.stucki@gmail.com>
Date: Wed, 9 Jun 2021 09:55:33 +0200
Subject: [PATCH] Add regression test

Closes #12754
---
 tests/neg/i12754.scala | 15 +++++++++++++++
 tests/pos/i12754.scala | 13 +++++++++++++
 2 files changed, 28 insertions(+)
 create mode 100644 tests/neg/i12754.scala
 create mode 100644 tests/pos/i12754.scala

diff --git a/tests/neg/i12754.scala b/tests/neg/i12754.scala
new file mode 100644
index 000000000000..ee29f8f97885
--- /dev/null
+++ b/tests/neg/i12754.scala
@@ -0,0 +1,15 @@
+transparent inline def transform(inline a: Any): Any = inline a match {
+  case x: Byte   => x
+  case x: Short  => x
+  case x: Int    => x
+  case x: Long   => x
+  case x: Float  => x
+  case x: Double => x
+  case _         => a
+}
+
+inline def lt(inline a: Any, inline b: Double): Boolean = transform(a) < b // error
+
+def test = {
+  println(lt(0, 5))
+}
diff --git a/tests/pos/i12754.scala b/tests/pos/i12754.scala
new file mode 100644
index 000000000000..0c4c54bf6883
--- /dev/null
+++ b/tests/pos/i12754.scala
@@ -0,0 +1,13 @@
+transparent inline def transform(inline a: Any): Any = inline a match {
+  case x: Byte   => x
+  case x: Short  => x
+  case x: Int    => x
+  case x: Long   => x
+  case x: Float  => x
+  case x: Double => x
+  case _         => a
+}
+
+def test = {
+  println(transform(0) < 5)
+}