ICE on merge_expressions.rs

[asterite]

Aim

Reduced from zkpassport/noir_rsa#2

Relevant code:

fn main(x: Field) {
    let y = unsafe { empty(x) };
    let mut value = 0;

    let term1 = x * x - x * y;
    std::as_witness(term1);
    value += term1;

    let term2 = x * x - y * x;
    value += term2;

    value.assert_max_bit_size::<1>();
}

unconstrained fn empty(_: Field) -> Field {
    0
}

Expected Behavior

It compiles fine.

Bug

It leads to a crash:

The application panicked (crashed).
Message:  assertion failed: i < b
Location: acvm-repo/acvm/src/compiler/optimizers/merge_expressions.rs:77

To Reproduce

Workaround

None

Workaround Description

No response

Additional Context

No response

Project Impact

None

Blocker Context

No response

Nargo Version

No response

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