Avoid Unstable Sort (#12455)

* dont use unstable sort * remove comment * add clippy rule
2026-04-26 08:47:57 +00:00 · 2022-10-11 14:41:43 -04:00
parent fbdfa84cd7
commit 023aa03fea
9 changed files with 14 additions and 17 deletions
@@ -63,7 +63,7 @@ benchmarks! {
 		}
 	}: {
 		// The benchmark execution phase could also be a closure with custom code
-		m.sort_unstable();
+		m.sort();
 	}

 	// This line generates test cases for benchmarking, and could be run by: