chore: add regression test

noir-lang · Feb 9, 2024 · 1cd82f0 · 1cd82f0
1 parent d21217e
commit 1cd82f0
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/test_programs/execution_success/global_consts/src/main.nr b/test_programs/execution_success/global_consts/src/main.nr
@@ -20,6 +20,13 @@ struct Test {
 global VALS: [Test; 1] = [Test { v: 100 }];
 global NESTED = [VALS, VALS];
 
+unconstrained fn calculate_global_value() -> Field {
+    42
+}
+
+// Regression test for https://github.com/noir-lang/noir/issues/4318
+global CALCULATED_GLOBAL: Field = calculate_global_value();
+
 fn main(
     a: [Field; M + N - N],
     b: [Field; 30 + N / 2],
@@ -74,6 +81,8 @@ fn main(
     foo::from_foo(d);
     baz::from_baz(c);
     assert(DERIVED == M + L);
+
+    assert(CALCULATED_GLOBAL == 42);
 }
 
 fn multiplyByM(x: Field) -> Field {