Nargo does not display which line causes circuit execution to fail

[TomAFrench]

Aim

I want to see which line is failing when a constraint is broken when executing my Noir code

Expected Behavior

I should get a nice error like:

error: Failed constraint
  ┌─ /home/tom/Programming/noir/crates/nargo_cli/tests/execution_success/1_mul/src/main:8:12
  │
8 │     assert(x == z);
  │            ------
  │
  = Call stack:
    1. /home/tom/Programming/noir/crates/nargo_cli/tests/execution_success/1_mul/src/main.nr:8:12

Error: Cannot satisfy constraint

Location:
    crates/nargo_cli/src/cli/mod.rs:90:5

Bug

I only get the output

Error: Cannot satisfy constraint

Location:
    crates/nargo_cli/src/cli/mod.rs:90:5

To Reproduce

1. Change the inputs to 1_mul so that the assertion fails.
2. run nargo execute on 1_mul.

Installation Method

Compiled from source

Nargo Version

No response

Additional Context

No response

Would you like to submit a PR for this Issue?

No

Support Needs

No response