Merge pull request #12763 from dotty-staging/fix-#12754

Add regression test

Author: liufengyun

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))
+}

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)
+}