Passing a mutable reference to Brillig indirectly fails with wrong error at SSA

[michaeljklein]

Aim

Attempted to call an unconstrained function on a mutable reference indirectly.

unconstrained fn foo<T>(x: T) -> T {
    x
}

fn bar<T>(x: T) -> T {
    unsafe { foo(x) }
}

fn main(x: Field, y: pub Field) {
    let mut y = 0;
    let x = &mut y;
    assert(*(unsafe { bar(x) }) == 0);
}

Expected Behavior

Expected a clear front-end error.

Bug

Compilation doesn't fail until it reaches SSA and fails with an invalid error message:

error: Could not resolve some references to the array. All references must be resolved at compile time
   ┌─ src/main.nr:10:17
   │
10 │     let mut y = 0;
   │                 -
   │
   = Call stack:
     1. src/main.nr:10:17

Aborting due to 1 previous error

NOTE: "to the array" in this error is a bug because the program lacks arrays.

To Reproduce

Workaround

None

Workaround Description

No response

Additional Context

No response

Project Impact

Nice-to-have

Blocker Context

No response

Nargo Version

nargo version = 1.0.0-beta.1 noirc version = 1.0.0-beta.1+3a42eb5c68f9616f0ebe367c894f0376ba41e0ef (git version hash: 3a42eb5, is dirty: false)

NoirJS Version

No response

Proving Backend Tooling & Version

No response

Would you like to submit a PR for this Issue?

None

Support Needs

No response