Cannot append slices

[signorecello]

Aim

My goal is to append one slice to another

Expected Behavior

I expected it to return a new slice with both slices concatenated

Bug

I get an error in the form of:
ICE: should have slice capacity set at address v45 being loaded into v112

To Reproduce

1. Use this snippet:

fn main(a: Field, b: pub Field) {
    let sl = [a, 1, 2, 3].as_slice();
    let sl2 = [b, 5, 6].as_slice();
    let sl3 = sl.append(sl2);
}

2. Run nargo test with something such as:

#[test]
fn test_main() {
    main(0, 4);
}

Project Impact

None

Impact Context

No response

Workaround

None

Workaround Description

No response

Additional Context

No response

Installation Method

Binary (noirup default)

Nargo Version

nargo version = 0.25.0 noirc version = 0.25.0+cba1bff95911a7a1d3ea714735786db595a435cf (git version hash: cba1bff, is dirty: false)

NoirJS Version

No response

Would you like to submit a PR for this Issue?

None

Support Needs

No response

[vezenovm]

As as_slice moved to a builtin so we are not accurately handling it in the slice capacity tracker. Will push a fix soon.

[vezenovm]

It is actually purely a type conversion error during simplification that was causing the capacity tracker to error out.