comptime

[gnart33]

In comptime example, you said that

// cannot be mutable tho, so this would fail???
let mut bad_var: comptime Field = 3;

But looks like mutable is ok, the error is unused variable bad_var. using it e.g. assert(bad_var == 3); will work

So comptime Field can be mutable apparently?

[sambarnes]

hmm i thought it errored when i was writing this 🤔 but yeah retried it now and its not erroring

the official docs say that it should fail too:
https://noir-lang.org/language_concepts/mutability/#comptime-values

---

might be better to open an issue in the main noir repo if you're up for it @trangnv!

[sambarnes]

i've updated the example such that the unused variable warning won't show -- instead, the failure should show once the bug is patched in noir itself

225c7b3

[gnart33]

Sure will take a look and file one on noir repo if necessary

[sambarnes]

ah rad -- closing :)