From f708aaf30a6329fc47471b16a8650226e5796114 Mon Sep 17 00:00:00 2001
From: Claude <noreply@anthropic.com>
Date: Sat, 3 Oct 2026 02:30:16 +0000
Subject: [PATCH] Remove unstable slice_split_first_mut_loop.rs cases for now

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01QtJnrNkTADcvTPPRzN73eD
---
 tests/ui/fail/slice_split_first_mut_loop.rs | 28 ---------------------
 tests/ui/pass/slice_split_first_mut_loop.rs | 27 --------------------
 2 files changed, 55 deletions(-)
 delete mode 100644 tests/ui/fail/slice_split_first_mut_loop.rs
 delete mode 100644 tests/ui/pass/slice_split_first_mut_loop.rs

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() {}