From b7bf785ba1a830f94bc90593ccabe4dc73f0753d Mon Sep 17 00:00:00 2001 From: Ary Borenszweig Date: Mon, 9 Jun 2025 16:43:47 -0300 Subject: [PATCH 1/3] chore: add a regression test for #8727 --- .../compile_success_empty/regression_8727/Nargo.toml | 6 ++++++ .../compile_success_empty/regression_8727/src/main.nr | 8 ++++++++ 2 files changed, 14 insertions(+) create mode 100644 test_programs/compile_success_empty/regression_8727/Nargo.toml create mode 100644 test_programs/compile_success_empty/regression_8727/src/main.nr diff --git a/test_programs/compile_success_empty/regression_8727/Nargo.toml b/test_programs/compile_success_empty/regression_8727/Nargo.toml new file mode 100644 index 00000000000..54751bff774 --- /dev/null +++ b/test_programs/compile_success_empty/regression_8727/Nargo.toml @@ -0,0 +1,6 @@ +[package] +name = "regression_8727" +type = "bin" +authors = [""] + +[dependencies] diff --git a/test_programs/compile_success_empty/regression_8727/src/main.nr b/test_programs/compile_success_empty/regression_8727/src/main.nr new file mode 100644 index 00000000000..93fd96f9126 --- /dev/null +++ b/test_programs/compile_success_empty/regression_8727/src/main.nr @@ -0,0 +1,8 @@ +global G_A: (str<2>, [str<2>; 2], [bool; 0]) = ("IU", ["TC", "JC"], []); +unconstrained fn main() -> pub str<2> { + (*func_2(G_A)[0]) +} +unconstrained fn func_2(mut b: (str<2>, [str<2>; 2], [bool; 0])) -> [&mut str<2>; 1] { + let _c: [str<2>; 1] = [b.0]; + [(&mut b.0)] +} From 3cbc7a4af223630630cd72997a156ace05ecb3b5 Mon Sep 17 00:00:00 2001 From: Ary Borenszweig Date: Mon, 9 Jun 2025 17:54:25 -0300 Subject: [PATCH 2/3] Move test to compile_success_no_bug --- .../regression_8727/Nargo.toml | 0 .../regression_8727/src/main.nr | 0 .../regression_8727/execute__tests__expanded.snap | 14 ++++++++++++++ 3 files changed, 14 insertions(+) rename test_programs/{compile_success_empty => compile_success_no_bug}/regression_8727/Nargo.toml (100%) rename test_programs/{compile_success_empty => compile_success_no_bug}/regression_8727/src/main.nr (100%) create mode 100644 tooling/nargo_cli/tests/snapshots/compile_success_no_bug/regression_8727/execute__tests__expanded.snap diff --git a/test_programs/compile_success_empty/regression_8727/Nargo.toml b/test_programs/compile_success_no_bug/regression_8727/Nargo.toml similarity index 100% rename from test_programs/compile_success_empty/regression_8727/Nargo.toml rename to test_programs/compile_success_no_bug/regression_8727/Nargo.toml diff --git a/test_programs/compile_success_empty/regression_8727/src/main.nr b/test_programs/compile_success_no_bug/regression_8727/src/main.nr similarity index 100% rename from test_programs/compile_success_empty/regression_8727/src/main.nr rename to test_programs/compile_success_no_bug/regression_8727/src/main.nr diff --git a/tooling/nargo_cli/tests/snapshots/compile_success_no_bug/regression_8727/execute__tests__expanded.snap b/tooling/nargo_cli/tests/snapshots/compile_success_no_bug/regression_8727/execute__tests__expanded.snap new file mode 100644 index 00000000000..8d811e36e22 --- /dev/null +++ b/tooling/nargo_cli/tests/snapshots/compile_success_no_bug/regression_8727/execute__tests__expanded.snap @@ -0,0 +1,14 @@ +--- +source: tooling/nargo_cli/tests/execute.rs +expression: expanded_code +--- +global G_A: (str<2>, [str<2>; 2], [bool; 0]) = ("IU", ["TC", "JC"], []); + +unconstrained fn main() -> pub str<2> { + *func_2(G_A)[0] +} + +unconstrained fn func_2(mut b: (str<2>, [str<2>; 2], [bool; 0])) -> [&mut str<2>; 1] { + let _c: [str<2>; 1] = [b.0]; + [&mut b.0] +} From bb1c4ab60215483796dc54be5e9fcf4e83ff8f38 Mon Sep 17 00:00:00 2001 From: Tom French <15848336+TomAFrench@users.noreply.github.com> Date: Tue, 10 Jun 2025 09:53:38 +0000 Subject: [PATCH 3/3] . --- .config/nextest.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.config/nextest.toml b/.config/nextest.toml index f3fe1b2db0f..8021e93e1bd 100644 --- a/.config/nextest.toml +++ b/.config/nextest.toml @@ -7,4 +7,4 @@ fail-fast = false fail-fast = true # Disable fuzzing to avoid flakiness -default-filter = "not package(noir_ast_fuzzer_fuzz)" +default-filter = "not (package(noir_ast_fuzzer_fuzz) or test(arb_program_freqs_in_expected_range))"