Skip to content

Commit f2db144

Browse files
Samuelsillsclaude
andcommitted
Fix formatting: import order and function call wrapping
Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
1 parent 9b30791 commit f2db144

1 file changed

Lines changed: 3 additions & 5 deletions

File tree

library/core/src/slice/sort/shared/smallsort.rs

Lines changed: 3 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,10 @@
11
//! This module contains a variety of sort implementations that are optimized for small lengths.
22
3+
#[cfg(kani)]
4+
use crate::kani;
35
use crate::mem::{self, ManuallyDrop, MaybeUninit};
46
use crate::slice::sort::shared::FreezeMarker;
57
use crate::{hint, intrinsics, ptr, slice};
6-
#[cfg(kani)]
7-
use crate::kani;
88

99
// It's important to differentiate between SMALL_SORT_THRESHOLD performance for
1010
// small slices and small-sort performance sorting small sub-slices as part of
@@ -954,9 +954,7 @@ mod verify {
954954
fn verify_stable_small_sort() {
955955
let mut arr: [i32; 4] = kani::any();
956956
let mut scratch = [MaybeUninit::<i32>::uninit(); 20];
957-
<i32 as StableSmallSortTypeImpl>::small_sort(
958-
&mut arr, &mut scratch, &mut |a, b| *a < *b,
959-
);
957+
<i32 as StableSmallSortTypeImpl>::small_sort(&mut arr, &mut scratch, &mut |a, b| *a < *b);
960958
assert!(is_sorted(&arr));
961959
}
962960

0 commit comments

Comments
 (0)