search

noir-lang / noir

Noir is a domain specific language for zero knowledge proofs
https://noir-lang.org
Apache License 2.0
821 stars 177 forks source link

`comptime` interpreter fails to perform slice equality #5273

Closed TomAFrench closed 2 weeks ago

TomAFrench commented 2 weeks ago

The below program fails with the error message below.

fn main() {
    comptime {
        assert_eq(&[1], &[1]);
    }
}
error: No implementation for `[Field]` == `[Field]`
  ┌─ /home/tom/Programming/aztec/noir/test_programs/compile_success_empty/comptime_as_slice/src/main.nr:6:9
  │
6 │         assert_eq(&[1], &[1]);
  │         ----------------------
  │

Aborting due to 1 previous error
jfecher commented 2 weeks ago

Duplicate of https://github.com/noir-lang/noir/issues/4925