diff --git a/test_programs/compile_success_empty/call_mut_closure_inside_mut_closure/Nargo.toml b/test_programs/compile_success_empty/call_mut_closure_inside_mut_closure/Nargo.toml new file mode 100644 index 00000000000..deca76a5232 --- /dev/null +++ b/test_programs/compile_success_empty/call_mut_closure_inside_mut_closure/Nargo.toml @@ -0,0 +1,6 @@ +[package] +name = "call_mut_closure_inside_mut_closure" +type = "bin" +authors = [""] + +[dependencies] \ No newline at end of file diff --git a/test_programs/compile_success_empty/call_mut_closure_inside_mut_closure/src/main.nr b/test_programs/compile_success_empty/call_mut_closure_inside_mut_closure/src/main.nr new file mode 100644 index 00000000000..a54f9a4957b --- /dev/null +++ b/test_programs/compile_success_empty/call_mut_closure_inside_mut_closure/src/main.nr @@ -0,0 +1,9 @@ +// Regression for issue #5545 (https://github.com/noir-lang/noir/issues/5545) +fn main() { + let mut c = || { + let mut d = || {}; + d(); + }; + + c(); +} diff --git a/tooling/nargo_cli/tests/snapshots/compile_success_empty/call_mut_closure_inside_mut_closure/execute__tests__expanded.snap b/tooling/nargo_cli/tests/snapshots/compile_success_empty/call_mut_closure_inside_mut_closure/execute__tests__expanded.snap new file mode 100644 index 00000000000..6f49d3ef8fa --- /dev/null +++ b/tooling/nargo_cli/tests/snapshots/compile_success_empty/call_mut_closure_inside_mut_closure/execute__tests__expanded.snap @@ -0,0 +1,11 @@ +--- +source: tooling/nargo_cli/tests/execute.rs +expression: expanded_code +--- +fn main() { + let mut c: fn() = || { + let mut d: fn() = || {}; + d(); + }; + c(); +} diff --git a/tooling/nargo_cli/tests/snapshots/compile_success_empty/call_mut_closure_inside_mut_closure/execute__tests__force_brillig_false_inliner_0.snap b/tooling/nargo_cli/tests/snapshots/compile_success_empty/call_mut_closure_inside_mut_closure/execute__tests__force_brillig_false_inliner_0.snap new file mode 100644 index 00000000000..7de940827c8 --- /dev/null +++ b/tooling/nargo_cli/tests/snapshots/compile_success_empty/call_mut_closure_inside_mut_closure/execute__tests__force_brillig_false_inliner_0.snap @@ -0,0 +1,26 @@ +--- +source: tooling/nargo_cli/tests/execute.rs +expression: artifact +--- +{ + "noir_version": "[noir_version]", + "hash": "[hash]", + "abi": { + "parameters": [], + "return_type": null, + "error_types": {} + }, + "bytecode": [ + "func 0", + "current witness index : _0", + "private parameters indices : []", + "public parameters indices : []", + "return value indices : []" + ], + "debug_symbols": "XY5BCsQwCEXv4rqLWfcqw1BsaosgJtikMITefWyYQOlK/3/6tcJCc9km1jXuML4rzMYivE0SA2aO6m49B+hyykbkFty4byU00gyjFpEBDpTShvaE2mpGc/oagHTx6oErC13d+XGBge158UBjnIX+ci0abjR/Uyf942Qx0FKMrqTGPPsH", + "file_map": {}, + "names": [ + "main" + ], + "brillig_names": [] +}