Blackbox AND function fails identity tests #5597
Description
Aim
Attempted to test that ONES (max-bit-size 11111.. in binary) is a left/right identity of the AND function
Expected Behavior
Expected that AND(ONES, x) == AND(x, ONES) == x
Bug
Both tests fail: https://github.com/noir-lang/noir/pull/5484/files#diff-6c685a553939db8389f16b6cf06d7d4caae94f46d64e327233fe02c7b4f8dbafR883
(Even when restricted values <= ONES)
To Reproduce
Project Impact
None
Impact Context
No response
Workaround
None
Workaround Description
No response
Additional Context
No response
Installation Method
Compiled from source
Nargo Version
No response
NoirJS Version
No response
Would you like to submit a PR for this Issue?
None
Support Needs
No response