From b8b3fa1da5ff853f864d0eb92a3c020693503db7 Mon Sep 17 00:00:00 2001
From: Hamza Remmal <hamza@remmal.net>
Date: Mon, 13 Oct 2025 14:18:22 +0800
Subject: [PATCH] fix: make the order deterministic in i23882

---
 tests/run/i23882.check | 12 ++++++------
 tests/run/i23882.scala | 14 ++++++++++++--
 2 files changed, 18 insertions(+), 8 deletions(-)

diff --git a/tests/run/i23882.check b/tests/run/i23882.check
index 4a26984466a2..8b1c8871460f 100644
--- a/tests/run/i23882.check
+++ b/tests/run/i23882.check
@@ -1,6 +1,6 @@
-public void Foo.foo(java.lang.Object)
-public void Foo.foo(scala.Equals)
-public void Foo.bar(Bar)
-public void Foo.bar2(Bar)
-public void Foo.bar3(Bar)
-public void Foo.bar4(Bar)
+foo(scala.Equals): void
+foo(java.lang.Object): void
+bar(Bar): void
+bar2(Bar): void
+bar3(Bar): void
+bar4(Bar): void
diff --git a/tests/run/i23882.scala b/tests/run/i23882.scala
index 767771709db0..46d647e3cbb5 100644
--- a/tests/run/i23882.scala
+++ b/tests/run/i23882.scala
@@ -13,6 +13,16 @@ class Foo:
   def bar3[T <: Pure](x: Bar & T): Unit = ???      // erases to Bar
   def bar4[T <: Pure](x: T & Bar): Unit = ???      // erases to Bar
 
+def printGenericSignature(m: java.lang.reflect.Method): Unit =
+  val tpe = m.getParameterTypes().map(_.getTypeName).mkString(", ")
+  val ret = m.getReturnType().getTypeName
+  println(s"${m.getName}($tpe): $ret")
+
 @main def Test =
-  for mtd <- classOf[Foo].getDeclaredMethods do
-    println(mtd)
+  val cls = classOf[Foo]
+  printGenericSignature(cls.getDeclaredMethod("foo", classOf[scala.Equals]))
+  printGenericSignature(cls.getDeclaredMethod("foo", classOf[Object]))
+  printGenericSignature(cls.getDeclaredMethod("bar", classOf[Bar]))
+  printGenericSignature(cls.getDeclaredMethod("bar2", classOf[Bar]))
+  printGenericSignature(cls.getDeclaredMethod("bar3", classOf[Bar]))
+  printGenericSignature(cls.getDeclaredMethod("bar4", classOf[Bar]))