diff --git a/tests/pos/i24076.scala b/tests/pos/i24076.scala new file mode 100644 index 000000000000..6436e1f1754a --- /dev/null +++ b/tests/pos/i24076.scala @@ -0,0 +1,7 @@ +transparent inline def bug(using ValueOf[1]): Int = 1 +transparent inline def foo(inline arg: Any): Any = + inline (arg, arg) match + case (_, _) => + case _ => + end match +val x = foo(bug)