chore: regression test for #2540

noir-lang · Mar 20, 2024 · 611857f · 611857f
1 parent 859906d
commit 611857f
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 0 deletions.
diff --git a/test_programs/execution_success/regression_2540/Nargo.toml b/test_programs/execution_success/regression_2540/Nargo.toml
@@ -0,0 +1,7 @@
+[package]
+name = "regression_2540"
+type = "bin"
+authors = [""]
+compiler_version = ">=0.25.0"
+
+[dependencies]
diff --git a/test_programs/execution_success/regression_2540/src/main.nr b/test_programs/execution_success/regression_2540/src/main.nr
@@ -0,0 +1,8 @@
+fn hello<N>(array: [u1; N]) {
+    for i in 0..N {}
+}
+
+fn main() {
+    let slice: [u1] = [0, 1];
+    hello(slice);
+}