feat: Add support for slices of structs and nested slices in brillig

crates/nargo_cli/tests/execution_success/brillig_nested_slices/Nargo.toml

@@ -0,0 +1,7 @@
+[package]
+name = "brillig_nested_slices"
+type = "bin"
+authors = [""]
+compiler_version = "0.6.0"
+
+[dependencies]

crates/nargo_cli/tests/execution_success/brillig_nested_slices/Prover.toml

@@ -0,0 +1,2 @@
+a = "5"
+b = "10"

crates/nargo_cli/tests/execution_success/brillig_nested_slices/src/main.nr

@@ -0,0 +1,74 @@
+use dep::std::slice;
+use dep::std;
+
+// Tests nested slice passing to/from functions
+unconstrained fn push_back_to_slice<T>(slice: [T], item: T) -> [T] {
+    slice.push_back(item)
+}
+
+struct NestedSliceStruct {
+    id: Field,
+    arr: [Field]
+}
+
+unconstrained fn create_foo(id: Field, value: Field) -> NestedSliceStruct {
+    let mut arr = [id];
+    arr = arr.push_back(value);
+    NestedSliceStruct { id, arr }
+}
+
+unconstrained fn main(a: Field, b: Field) {
+    let mut slice = [create_foo(a, b), create_foo(b, a)];
+    assert(slice.len() == 2);
+
+    assert(slice[0].id == a);
+    assert(slice[0].arr[0] == a);
+    assert(slice[1].id == b);
+    assert(slice[1].arr[1] == a);
+
+    slice = push_back_to_slice(slice, create_foo(0, 42));
+    assert(slice.len() == 3);
+
+    assert(slice[0].id == a);
+    assert(slice[0].arr[0] == a);
+    assert(slice[1].id == b);
+    assert(slice[1].arr[1] == a);
+
+    assert(slice[2].id == 0);
+    assert(slice[2].arr[0] == 0);
+    assert(slice[2].arr[1] == 42);
+
+    slice = slice.push_front(create_foo(1, 43));
+    slice = slice.push_back(create_foo(2, 44));
+
+    assert(slice.len() == 5);
+
+    let pop_front_result = slice.pop_front();
+    slice = pop_front_result.1;
+    assert(pop_front_result.0.id == 1);
+
+    let pop_back_result = slice.pop_back();
+    slice = pop_back_result.0;
+    assert(pop_back_result.1.id == 2);
+
+    assert(slice.len() == 3);
+
+    let mut remove_result = slice.remove(0);
+    slice = remove_result.0;
+    let mut removed_item = remove_result.1;
+    assert(removed_item.arr[0] == a);
+
+    remove_result = slice.remove(1);
+    slice = remove_result.0;
+    removed_item = remove_result.1;
+    assert(removed_item.arr[0] == 0);
+
+    let last_item = slice[0];
+
+    assert(last_item.id == b);
+    slice = slice.insert(1, removed_item);
+
+    assert(slice.len() == 2);
+    assert(slice[0].id == b);
+    assert(slice[1].id == 0);
+}

crates/nargo_cli/tests/execution_success/brillig_nested_slices/target/main.json

@@ -0,0 +1 @@
+{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"x","type":{"kind":"field"},"visibility":"private"},{"name":"y","type":{"kind":"field"},"visibility":"private"}],"param_witnesses":{"x":[1],"y":[2]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/8WcTWwdVxXH53lemvhNkxRSmhA7jtOUhqZx8xybfiRpepsGN/1I46RJE5w4TYrjfOB8tBIrNkjsYYOQ2MAKCYklEhskFqxg0w1igYTEEokFC1ixQMAd5v/e7x1fv1bqPa9XiubMnDP3/z/nnnPPHdtKWRRFq/j/KP/3b6xYP6QPzbX72cZsK99cXU+eY04849jSBHq8iTv5jyfW4RHIIROnR/LHrLsJXLc18qa8GEdifNomPi1zHyBvQgw35+UyN14Mrs0ncdkMLlvycqlzbBxY4iWcCvoSNuN5edT1vcX4r3vy+7Rcxz5nrg64L8Q5Op/gfyfBozNC/4mvZ+3PmUtlODhxmasS2J3RxGEuzvlo5jkVO3EXZ+GU0D/dXLc2dlsTPm/Py6/eux4r+kOY2xH7bY1Mu8fAbRt80VX6GePTF/CefNqR16fZOMfj4CrMHfDpi41Mu8fBTfox+CT9vPHpS3hPPu3M69OROMcucBXmTvj0RCPvAg+P/XMX/BUm+5v0x02cvoz3xC93Psc5J/LOWZ81dheDY9hZYwL+7cnsX8SdwvwBGMTdmxd3lrit5p8w9LyEfKboj72QlQPiHPNiMmFHebd5p4J+0tnnPeARcC+smMsnYTOZ4L0dvKXXvhJzawJzyZdJB18mikFfJgxn9vjdflzqHm+xOxvEIXdvcKjJen/guscxbH/YA/8y52y9P0xj/gAM4u7LHFfian8Qhp6XkFeL/tgHWTkgzjEvphJ2lO3+UUE/5ewz96mAe2HFXL4Cm6kE7x3gzb00jphbezCXfJly8GWjvW4K/NqGuwOXen+w2J0N4pD7nOW152Su83rPYS7FMWzP2YuYZa6Des95EvMHYBB3f+a4Eld7jjD0vIT83aI/9kNWXolzzLXphB1luydV0E87+8y9L+BeWLE+vg2b6QTvneAtvfI+5hbPN/Jl2sGXjfbPafBrG+4OXOaqBHZngzh4fINzTYXJb/DpRk71wDb0/F6V/gfNVd9hT+I9+eTxDf4UuAqT3+DKV9o9BW774Yuu0v/I+PQVvCefPL7BD4CrMPkNrp/hHAAPj9gegL9Pm9iW0P/ExOmreE/8nsnLb86rLx/KHMe4/zxb9EdALIQV98KDxeAY1mefRVxnHPgeMrjiNgPc5/Li1v39MOYPwHgGz7sO/h5GzFvA0PMS8i+L/uAv/pTz4txBvLobvHPIvFNBP+Ps83PgEXAvrFi7PweHzHXRpY9xHDQxqaBXnY9DzxrInIvz5NYu1q9TCf2vm+vWwq9vdxNxYt9WbnYRE4++xNw4bNamhP63JiYevelIsT4m7PuzjUy7I+AvPc8y0v/O8PeI5XyCP3v8XCPTbh7858BbV+k/Nvw9ft/0fIL/o+D/tUaWnVcePI+YCJNnFOn/aGJyNDOXuKe+1Mylv4HRHiWsuH+9WAyOYX3+JcTumAPfowZX63gMuMfz4tZ9/mXMH4BBf084+PsyYt4Chp6XkP9a9McJyIqZOHcQrxMbvPOieaeC/pizz8fBI+BeWLFu/gwOmeuiSx/jOGjiGOP3QiIWHnvuUfgsTPYv6f/eXONeMQ5ezE+PPfU4+AmTv8OX/p/g53XmSOUvzxyqk1TOt6Fnf5X+X4a/R18ICf48H7xiMCm3oWd/lf4/hr9Hrp5M8Of54NVGlp1XHE8iJq+aOJbEbw3GZCEzlzj9qWYu9VfVo7Birb5WDI5h/fUUYvd6Xr51nzuN+QMwiPuGQ5xOw/cWMPS8hPwEAvRGX+zlnDjHnFtI2FF+zbxTQb/g7PPr4BFwL6yYvxV8XSjW+3oKvn49wdujvhbAT5isL+knUV/jRTqXPPah0+AnTPZM6feZ+vfoSW8W/aFcY0/SWtPuTfCXnj1J+gOGv8dav53gz570ViPT7m3wfwu8dZV+xpm/189bz2bmGcPwDuIX51WNCCvWD/92KI5hfULzRb6LefnWfeIc5g/A2IHn5x3idA6+t4Ch5yXkVxCg832xl8fiHPP4bMKO8hnzTgX9WWefF8Ej4F5Ysc7mG19b4CN7W7epOc8Ym+jLOei9feG6Uo42pxLc3s3Lrc7pC5g/AIO5ftEhJhfgbwsYel5CXkROX+yLvTUX55jT5xN2lBfNOxX05519fhc8Au6FVZ8t4Os52NtcraDnz931jHuhxzfwIjgLk9/A0l8awXkjtWfxvDFsn2tDz/OG9MsjOG9cSPDneUN5wlr1OENeQEyEyTOk9CsmJh5c3ivWx4Tf1aoZ2r0H/hfBW1fp747gDLaUec5I+XIzl3qEalxYsf4vFYNj2HlJ80W+V/LyrXvLVcwfgMGetuwQp6vwvQUMPS8hfwcBWu6LvZwT55hzSwk7ypfMOxX0S84+8+9KA+6FFWviIc5LS8Y+dRbKnBOzKdwlE7OUL5cMN7vG0eadBH/v3Aq4Xwbutby4dS29j/kDMFhj1x38fR/+toCh5yXk76OWrvfF3hqLcwfxoh3lK+adCvplZ5+vgUfAvbBiLX0Pvl6Ffap/f8PYefXMq+AnTPZv6X9ofkalWF925rcEflcS/KT/8QjOjFxj7S88MyrHaHcN/KXnmVH6n47gzHg9wZ85p5qk3XXwZ/3qKv3PRnA+Wsk8Z6T8QTOX9mbls7Birt8oBsew85Hmi3xv5uVb7+mrmD8Agz3slkOcVuF7Cxh6XkL+FQJ0qy/2ck6cY86tJOwo3zDvVNCvOPt8EzwC7oUVa+IXOB+tGHtbYw45MZvCXTExS/lyw3CzaxxtLif4e+dWwP0t4N7Oi1vX0h3MH4DBGrvr4O8d+NsChp6XkH+PWrrbF3trLM4dxIt2lG+adyrobzn7fBs8Au6FFWvpN/B1FfapXvXNhN0q5pKevUr6j81ZRnHh3u3Rf1fAz+7bJfR/GMFZ5nYivjzLKB9odxv8pedZRvo/OfOPc67lnXOWdah9SPkgrJgrqssCthwBsuaLfO9ljkHEvY/5AzC24/kDhzjdh+8tYOh5CflvCNCDvtjrP+Icc24tYUf5jnmngn7N2ed74BFwL6xYE3/BWWDN2Mtfrk3mnJhN4a6ZmKV8uWO42TWONh8k+HvnVsD9A+A+zItb19KHmD8AgzX2kYO/H8LfFjD0vIT8b9TSR32xt8bi3EG8aEf5nnmngv6Bs88PwSPgXlixlv4BX+/D3tZR9PVbCbv7mEt69irpx5qHOgsoLty7PfrvGvjZfbuEfjP4xf+DzvabbAuj4LSK9H8m+V/w7MsncVIAAA==","proving_key":null,"verification_key":null}

crates/nargo_cli/tests/execution_success/brillig_slices/src/main.nr

@@ -73,4 +73,4 @@ unconstrained fn main(x: Field, y: Field) {
 // Tests slice passing to/from functions
 unconstrained fn push_front_to_slice<T>(slice: [T], item: T) -> [T] {
     slice.push_front(item)
-}
+}