diff --git a/test_programs/execution_success/regression_5462/Nargo.toml b/test_programs/execution_success/regression_5462/Nargo.toml
new file mode 100644
index 00000000000..97015f78963
--- /dev/null
+++ b/test_programs/execution_success/regression_5462/Nargo.toml
@@ -0,0 +1,7 @@
+[package]
+name = "regression_5462"
+type = "bin"
+authors = [""]
+compiler_version = ">=0.35.0"
+
+[dependencies]
diff --git a/test_programs/execution_success/regression_5462/src/main.nr b/test_programs/execution_success/regression_5462/src/main.nr
new file mode 100644
index 00000000000..092f7ab96a5
--- /dev/null
+++ b/test_programs/execution_success/regression_5462/src/main.nr
@@ -0,0 +1,11 @@
+fn main() {
+    let empty_slice: [u8] = &[];
+
+    if empty_slice != &[] {
+        let _ = empty_slice.pop_front();
+    }
+
+    if empty_slice.len() != 0 {
+        let _ = empty_slice.pop_front();
+    }
+}
diff --git a/test_programs/execution_success/slice_regex/src/main.nr b/test_programs/execution_success/slice_regex/src/main.nr
index 15768248473..3b860839a6e 100644
--- a/test_programs/execution_success/slice_regex/src/main.nr
+++ b/test_programs/execution_success/slice_regex/src/main.nr
@@ -208,7 +208,7 @@ fn main() {
     let result = three_ones_regex.match("1111".as_bytes().as_slice());
     println(result);
     assert_eq(result, Match { succeeded: true, match_ends: 3, leftover: &[] });
-    // TODO(https://github.com/noir-lang/noir/issues/5462): re-enable these cases and complete the test using array_regex below
+    // TODO(https://github.com/noir-lang/noir/issues/6285): re-enable these cases and complete the test using array_regex below
     // 
     // // 1*
     // let ones_regex: Star<str<1>, 5> = Star { inner: "1" };
@@ -279,7 +279,9 @@ fn main() {
     // });
 }
 
-// array_regex: use to complete test once https://github.com/noir-lang/noir/issues/5462 is resolved
+// TODO
+// array_regex execution_success test:
+// use to complete test once https://github.com/noir-lang/noir/issues/6285 is resolved
 //
 // // offset <= len <= N
 // struct Bvec<T, let N: u32> {