fix rustfix tests

Author: y21

tests/ui/missing_assert_for_indexing.fixed

@@ -0,0 +1,87 @@
+//@run-rustfix
+
+#![allow(unused)]
+#![warn(clippy::missing_assert_for_indexing)]
+
+// ok
+fn sum_with_assert(v: &[u8]) -> u8 {
+    assert!(v.len() > 4);
+    v[0] + v[1] + v[2] + v[3] + v[4]
+}
+
+// ok
+fn sum_with_assert_other_way(v: &[u8]) -> u8 {
+    assert!(5 <= v.len());
+    v[0] + v[1] + v[2] + v[3] + v[4]
+}
+
+// ok
+fn sum_with_assert_ge(v: &[u8]) -> u8 {
+    assert!(v.len() >= 5);
+    v[0] + v[1] + v[2] + v[3] + v[4]
+}
+
+// ok
+fn sum_with_assert_ge_other_way(v: &[u8]) -> u8 {
+    assert!(4 < v.len());
+    v[0] + v[1] + v[2] + v[3] + v[4]
+}
+
+fn sum_with_assert_lt(v: &[u8]) -> u8 {
+    assert!(v.len() > 4);
+    //~^ ERROR incorrect length
+    v[0] + v[1] + v[2] + v[3] + v[4]
+}
+
+fn sum_with_assert_le(v: &[u8]) -> u8 {
+    assert!(v.len() > 4);
+    //~^ ERROR incorrect length
+    v[0] + v[1] + v[2] + v[3] + v[4]
+}
+
+fn sum_with_incorrect_assert_len(v: &[u8]) -> u8 {
+    assert!(v.len() > 4);
+    //~^ ERROR incorrect length
+    v[0] + v[1] + v[2] + v[3] + v[4]
+}
+
+fn sum_with_incorrect_assert_len2(v: &[u8]) -> u8 {
+    assert!(v.len() > 4);
+    //~^ ERROR incorrect length
+    v[0] + v[1] + v[2] + v[3] + v[4]
+}
+
+// ok, don't lint for single array access
+fn single_access(v: &[u8]) -> u8 {
+    v[0]
+}
+
+// ok
+fn subslice_ok(v: &[u8]) {
+    assert!(v.len() > 3);
+    let _ = v[0];
+    let _ = v[1..4];
+}
+
+fn subslice_bad(v: &[u8]) {
+    assert!(v.len() > 3);
+    //~^ ERROR incorrect length
+    let _ = v[0];
+    let _ = v[1..4];
+}
+
+// ok
+fn subslice_inclusive_ok(v: &[u8]) {
+    assert!(v.len() > 4);
+    let _ = v[0];
+    let _ = v[1..=4];
+}
+
+fn subslice_inclusive_bad(v: &[u8]) {
+    assert!(v.len() > 4);
+    //~^ ERROR incorrect length
+    let _ = v[0];
+    let _ = v[1..=4];
+}
+
+fn main() {}

tests/ui/missing_assert_for_indexing.rs

@@ -1,13 +1,8 @@
-// run-rustfix
+//@run-rustfix
 
 #![allow(unused)]
 #![warn(clippy::missing_assert_for_indexing)]
 
-fn sum(v: &[u8]) -> u8 {
-    //~^ ERROR missing assertions on `v.len()`
-    v[0] + v[1] + v[2] + v[3] + v[4]
-}
-
 // ok
 fn sum_with_assert(v: &[u8]) -> u8 {
     assert!(v.len() > 4);
@@ -26,7 +21,7 @@ fn sum_with_assert_ge(v: &[u8]) -> u8 {
     v[0] + v[1] + v[2] + v[3] + v[4]
 }
 
-// ok, but fails right now
+// ok
 fn sum_with_assert_ge_other_way(v: &[u8]) -> u8 {
     assert!(4 < v.len());
     v[0] + v[1] + v[2] + v[3] + v[4]
@@ -61,12 +56,6 @@ fn single_access(v: &[u8]) -> u8 {
     v[0]
 }
 
-fn subslice(v: &[u8]) {
-    //~^ ERROR missing assertion on `v.len()`
-    let _ = v[0];
-    let _ = v[1..4];
-}
-
 // ok
 fn subslice_ok(v: &[u8]) {
     assert!(v.len() > 3);
@@ -95,12 +84,4 @@ fn subslice_inclusive_bad(v: &[u8]) {
     let _ = v[1..=4];
 }
 
-fn variables(v: &[u8]) -> u8 {
-    //~^ ERROR missing assertions on `v.len()`
-    let a = v[0];
-    let b = v[1];
-    let c = v[2];
-    a + b + c
-}
-
 fn main() {}