BadConstantEquality error when trying to write out of array bounds

[spalladino]

Aim

Given the following code which uses BoundedVec to accumulate a hash:

let mut args: BoundedVec<Field, 75> = BoundedVec::new(0);
args = args.push_array(payload.serialize());
for byte in owner {
    args = args.push(byte as Field);
}
args = args.push_array(signature);
args = args.push(partialContractAddress);

If the length of BoundedVec is set to less than 75, the compiler crashes with an error.

Expected Behavior

Compiler should return an error complaining about array access out of bounds.

Bug

The application panicked (crashed).
Message:  add Result types to all methods so errors bubble up: BadConstantEquality { lhs: 0, rhs: 1 }
Location: crates/noirc_evaluator/src/ssa_refactor/acir_gen/mod.rs:251

To Reproduce

No response

Installation Method

Compiled from source

Nargo Version

nargo 0.8.0 (git version hash: 6fa3144, is dirty: false)

Additional Context

Ran in the context of aztec-packages

Would you like to submit a PR for this Issue?

No

Support Needs

No response