Expected array value - Error with arrays while in a for loop

[keccakk]

Expected Behavior

To be able to change a value of an array while inside a for loop.

Bug

[test] Running 1 test functions
[test] Testing test_main... The application panicked (crashed).
Message:  Expected array value
Location: crates/noirc_evaluator/src/ssa/opt/flatten_cfg.rs:427

To Reproduce

fn main() {
  let mut a: [Field] = [1, 2, 3];
  let mut b: [Field] = [4, 5, 6];

  for i in 0..2 {
    if a[i] == 2 {
      // Bug occurs in following line
      b[i + 1] = b[i] * b[i + 1];
    }
  }
}

#[test]
fn test_main() {
  main();
}

Installation Method

Binary

Nargo Version

nargo 0.10.5 (git version hash: f1d09ca

Additional Context

No response

Would you like to submit a PR for this Issue?

No

Support Needs

No response

[vezenovm]

The work around for now is to use [Field; 3] rather than slices in your program. But this is fixed here (#2446) which we are working on getting merged into master.