Add regression test

noir-lang · Oct 9, 2023 · 9fa02c9 · 9fa02c9
1 parent a4c6d70
commit 9fa02c9
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 0 deletions.
diff --git a/tooling/nargo_cli/tests/compile_failure/mutability_regression_3008/Nargo.toml b/tooling/nargo_cli/tests/compile_failure/mutability_regression_3008/Nargo.toml
@@ -0,0 +1,7 @@
+[package]
+name = "mutability_regression_3008"
+type = "bin"
+authors = [""]
+compiler_version = "0.9.0"
+
+[dependencies]
diff --git a/tooling/nargo_cli/tests/compile_failure/mutability_regression_3008/src/main.nr b/tooling/nargo_cli/tests/compile_failure/mutability_regression_3008/src/main.nr
@@ -0,0 +1,5 @@
+// Expect 'Variable must be mutable to be assigned to' error
+fn main() {
+    let slice : &mut [Field] = &mut [];
+    slice = &mut (*slice).push_back(1);
+}