Problem

With the introduction of #4428 we now support multiple ACIR function calls. Inlining remains the default, however, functions marked with #[fold] (or potentially other inline markers in the future) will be treated as separate ACIR functions. Execution has been updated in the ACVM and nargo to handle these new non-inlined methods but not in the debugger.

The relevant work that updated the codegen and execution for non-inlined ACIR can be found linked in the main issue linked above.

cc @ggiraldez @mverzilli

Happy Case

It would be nice to be able to use the debugger even when executing non-inlined ACIR. This will be especially useful as we potentially add more inline markers such as #[inline(never)].

Project Impact

Nice-to-have

Impact Context

No response

Workaround

None

Workaround Description

No response

Additional Context

Would you like to submit a PR for this Issue?

None

Support Needs

No response