chore: add a regression test for #8727

.config/nextest.toml

@@ -7,4 +7,4 @@ fail-fast = false
 fail-fast = true
 
 # Disable fuzzing to avoid flakiness
-default-filter = "not package(noir_ast_fuzzer_fuzz)"
+default-filter = "not (package(noir_ast_fuzzer_fuzz) or test(arb_program_freqs_in_expected_range))"

test_programs/compile_success_no_bug/regression_8727/Nargo.toml

@@ -0,0 +1,6 @@
+[package]
+name = "regression_8727"
+type = "bin"
+authors = [""]
+
+[dependencies]

test_programs/compile_success_no_bug/regression_8727/src/main.nr

@@ -0,0 +1,8 @@
+global G_A: (str<2>, [str<2>; 2], [bool; 0]) = ("IU", ["TC", "JC"], []);
+unconstrained fn main() -> pub str<2> {
+    (*func_2(G_A)[0])
+}
+unconstrained fn func_2(mut b: (str<2>, [str<2>; 2], [bool; 0])) -> [&mut str<2>; 1] {
+    let _c: [str<2>; 1] = [b.0];
+    [(&mut b.0)]
+}