feat: Sync from noir

.noir-sync-commit

@@ -1 +1 @@
-1b0dd4149d9249f0ea4fb5e2228c688e0135618f
+0925a332dbaa561aad195c143079588158498dad

noir/noir-repo/acvm-repo/acvm/src/compiler/mod.rs

@@ -92,6 +92,7 @@ pub fn compile<F: AcirField>(
     let mut prev_acir = acir;
     let mut prev_acir_opcode_positions = initial_opcode_positions;
 
+
     // For most test programs it would be enough to only loop `transform_internal`,
     // but some of them don't stabilize unless we also repeat the backend agnostic optimizations.
     let (mut acir, acir_opcode_positions) = loop {

noir/noir-repo/compiler/noirc_evaluator/src/ssa/ssa_gen/mod.rs

@@ -703,7 +703,9 @@ impl<'a> FunctionContext<'a> {
         // Don't mutate the reference count if we're assigning an array literal to a Let:
         // `let mut foo = [1, 2, 3];`
         // we consider the array to be moved, so we should have an initial rc of just 1.
-        let should_inc_rc = !let_expr.expression.is_array_or_slice_literal();
+        //
+        // TODO: this exception breaks #6763
+        let should_inc_rc = true; // !let_expr.expression.is_array_or_slice_literal();
 
         values = values.map(|value| {
             let value = value.eval(self);

noir/noir-repo/test_programs/execution_success/reference_counts/src/main.nr

@@ -2,7 +2,7 @@ use std::mem::array_refcount;
 
 fn main() {
     let mut array = [0, 1, 2];
-    assert_refcount(array, 1);
+    assert_refcount(array, 2);
 
     borrow(array, array_refcount(array));
     borrow_mut(&mut array, array_refcount(array));