chore: Add various regression tests for mutable references

test_programs/compile_failure/regression_8741/Nargo.toml

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

test_programs/compile_failure/regression_8741/src/main.nr

@@ -0,0 +1,5 @@
+fn main(c: bool) -> pub bool {
+    let mut e: &mut bool = (&mut false);
+    if c { e = (&mut true); };
+    *e
+}

test_programs/compile_failure/regression_8748/Nargo.toml

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

test_programs/compile_failure/regression_8748/src/main.nr

@@ -0,0 +1,11 @@
+fn main(c: bool) {
+    let mut a: [&mut bool; 2] = [&mut false, &mut true];
+
+    if (c) {
+        a = [a[1], a[0]];
+        a[0] = &mut true;
+    };
+
+    a = [&mut true, a[1]];
+    a[1] = &mut false;
+}

test_programs/execution_success/regression_8729/Nargo.toml

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

test_programs/execution_success/regression_8729/Prover.toml

@@ -0,0 +1 @@
+return = 0

test_programs/execution_success/regression_8729/src/main.nr

@@ -0,0 +1,19 @@
+global G_A: [(bool, bool, str<4>); 3] =
+    [(false, true, "LZUT"), (false, true, "MFFA"), (false, true, "XPHT")];
+
+fn main() -> pub Field {
+    let mut a: ((str<4>, Field, str<4>, str<3>, bool), [&mut u8; 2]) = (
+        (G_A[2].2, (unsafe { func_4() } as Field), G_A[1].2, "TWC", false), [(&mut 57), (&mut 219)],
+    );
+    for idx_d in 0..1 {
+        // a.0 = a.0;
+    }
+    a.0 = (a.0.2, 0, a.0.0, a.0.3, ((128 % (*a.1[0])) == (*a.1[1])));
+    0
+}
+
+unconstrained fn func_4() -> bool {
+    let mut a = G_A[1].2;
+    println(a);
+    true
+}