@@ -900,12 +900,7 @@ mod verify {
900900 let orig_a = arr[ a] ;
901901 let orig_b = arr[ b] ;
902902 unsafe {
903- swap_if_less (
904- arr. as_mut_ptr ( ) ,
905- a,
906- b,
907- & mut |x, y| * x < * y,
908- ) ;
903+ swap_if_less ( arr. as_mut_ptr ( ) , a, b, & mut |x, y| * x < * y) ;
909904 }
910905 // After swap_if_less, arr[a] <= arr[b]
911906 assert ! ( arr[ a] <= arr[ b] ) ;
@@ -923,11 +918,7 @@ mod verify {
923918 MaybeUninit :: uninit ( ) ,
924919 ] ;
925920 unsafe {
926- sort4_stable (
927- src. as_ptr ( ) ,
928- dst. as_mut_ptr ( ) as * mut i32 ,
929- & mut |x, y| * x < * y,
930- ) ;
921+ sort4_stable ( src. as_ptr ( ) , dst. as_mut_ptr ( ) as * mut i32 , & mut |x, y| * x < * y) ;
931922 }
932923 let d0 = unsafe { dst[ 0 ] . assume_init ( ) } ;
933924 let d1 = unsafe { dst[ 1 ] . assume_init ( ) } ;
@@ -942,11 +933,7 @@ mod verify {
942933 #[ kani:: unwind( 6 ) ]
943934 fn verify_insertion_sort_shift_left ( ) {
944935 let mut arr: [ i32 ; 4 ] = kani:: any ( ) ;
945- insertion_sort_shift_left (
946- & mut arr,
947- 1 ,
948- & mut |a, b| * a < * b,
949- ) ;
936+ insertion_sort_shift_left ( & mut arr, 1 , & mut |a, b| * a < * b) ;
950937 assert ! ( arr[ 0 ] <= arr[ 1 ] ) ;
951938 assert ! ( arr[ 1 ] <= arr[ 2 ] ) ;
952939 assert ! ( arr[ 2 ] <= arr[ 3 ] ) ;
@@ -959,11 +946,7 @@ mod verify {
959946 fn verify_stable_small_sort ( ) {
960947 let mut arr: [ i32 ; 4 ] = kani:: any ( ) ;
961948 let mut scratch = [ MaybeUninit :: < i32 > :: uninit ( ) ; 20 ] ;
962- <i32 as StableSmallSortTypeImpl >:: small_sort (
963- & mut arr,
964- & mut scratch,
965- & mut |a, b| * a < * b,
966- ) ;
949+ <i32 as StableSmallSortTypeImpl >:: small_sort ( & mut arr, & mut scratch, & mut |a, b| * a < * b) ;
967950 assert ! ( arr[ 0 ] <= arr[ 1 ] ) ;
968951 assert ! ( arr[ 1 ] <= arr[ 2 ] ) ;
969952 assert ! ( arr[ 2 ] <= arr[ 3 ] ) ;
@@ -975,10 +958,7 @@ mod verify {
975958 #[ kani:: unwind( 6 ) ]
976959 fn verify_unstable_small_sort ( ) {
977960 let mut arr: [ i32 ; 4 ] = kani:: any ( ) ;
978- <i32 as UnstableSmallSortTypeImpl >:: small_sort (
979- & mut arr,
980- & mut |a, b| * a < * b,
981- ) ;
961+ <i32 as UnstableSmallSortTypeImpl >:: small_sort ( & mut arr, & mut |a, b| * a < * b) ;
982962 assert ! ( arr[ 0 ] <= arr[ 1 ] ) ;
983963 assert ! ( arr[ 1 ] <= arr[ 2 ] ) ;
984964 assert ! ( arr[ 2 ] <= arr[ 3 ] ) ;
@@ -990,10 +970,7 @@ mod verify {
990970 #[ kani:: unwind( 6 ) ]
991971 fn verify_unstable_freeze_small_sort ( ) {
992972 let mut arr: [ i32 ; 4 ] = kani:: any ( ) ;
993- <i32 as UnstableSmallSortFreezeTypeImpl >:: small_sort (
994- & mut arr,
995- & mut |a, b| * a < * b,
996- ) ;
973+ <i32 as UnstableSmallSortFreezeTypeImpl >:: small_sort ( & mut arr, & mut |a, b| * a < * b) ;
997974 assert ! ( arr[ 0 ] <= arr[ 1 ] ) ;
998975 assert ! ( arr[ 1 ] <= arr[ 2 ] ) ;
999976 assert ! ( arr[ 2 ] <= arr[ 3 ] ) ;
0 commit comments