diff --git a/tests/ui/fail/slice_split_first_mut_loop.rs b/tests/ui/fail/slice_split_first_mut_loop.rs
deleted file mode 100644
index 62d8392b..00000000
--- a/tests/ui/fail/slice_split_first_mut_loop.rs
+++ /dev/null
@@ -1,28 +0,0 @@
-//@error-in-other-file: Unsat
-//@compile-flags: -C debug-assertions=off
-//@rustc-env: THRUST_SOLVER=tests/thrust-pcsat-wrapper
-//@rustc-env: THRUST_SOLVER_TIMEOUT_SECS=60
-
-#[thrust::trusted]
-#[thrust_macros::requires(true)]
-#[thrust_macros::ensures(
-    (*result).len() == 2
-        && (*result)[0] == 10
-        && (*result)[1] == 20
-)]
-fn slice() -> &'static mut [i32] {
-    unimplemented!()
-}
-
-#[thrust::callable]
-fn check() {
-    let sl = slice();
-    let mut s = &mut *sl;
-    while let Some((first, rest)) = s.split_first_mut() {
-        *first = 0;
-        s = rest;
-    }
-    assert!(sl[0] != 0);
-}
-
-fn main() {}
diff --git a/tests/ui/pass/slice_split_first_mut_loop.rs b/tests/ui/pass/slice_split_first_mut_loop.rs
deleted file mode 100644
index ba47b2fe..00000000
--- a/tests/ui/pass/slice_split_first_mut_loop.rs
+++ /dev/null
@@ -1,27 +0,0 @@
-//@check-pass
-//@compile-flags: -C debug-assertions=off
-//@rustc-env: THRUST_SOLVER=tests/thrust-pcsat-wrapper
-
-#[thrust::trusted]
-#[thrust_macros::requires(true)]
-#[thrust_macros::ensures(
-    (*result).len() == 2
-        && (*result)[0] == 10
-        && (*result)[1] == 20
-)]
-fn slice() -> &'static mut [i32] {
-    unimplemented!()
-}
-
-#[thrust::callable]
-fn check() {
-    let sl = slice();
-    let mut s = &mut *sl;
-    while let Some((first, rest)) = s.split_first_mut() {
-        *first = 0;
-        s = rest;
-    }
-    assert!(sl[0] == 0);
-}
-
-fn main() {}