.

noir-lang · Jan 20, 2025 · fb2e08f · fb2e08f
1 parent 54a5e53
commit fb2e08f
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 2 deletions.
diff --git a/...success_no_bug/regression_7062/Nargo.toml → ...cution_success/regression_7062/Nargo.toml b/...success_no_bug/regression_7062/Nargo.toml → ...cution_success/regression_7062/Nargo.toml
diff --git a/test_programs/execution_success/regression_7062/Prover.toml b/test_programs/execution_success/regression_7062/Prover.toml
@@ -0,0 +1,2 @@
+index = 1
+value = 1
diff --git a/...uccess_no_bug/regression_7062/src/main.nr → ...ution_success/regression_7062/src/main.nr b/...uccess_no_bug/regression_7062/src/main.nr → ...ution_success/regression_7062/src/main.nr
@@ -1,8 +1,10 @@
-fn main(args: [Field; 2]) {
+fn main(value: Field, index: u32) {
+    let mut args = &[0, 1];
+    args[index] = value;
     /// Safety: n/a
     unsafe { store(args) };
     // Dummy test to remove the 'underconstraint bug'
     assert(args[0] + args[1] != 0);
 }
 
-pub unconstrained fn store(_: [Field]) {}
+pub unconstrained fn store(_: [Field]) {}