❯ cargo run -q -p nargo_cli -- execute --force --silence-warnings
For more information about this error, try `rustc --explain E0602`.
error: Failed constraint
  ┌─ src/main.nr:2:6
  │
2 │     (15877946327378367777 << (b as u64))
  │      ----------------------------------
  │
  = Call stack:
    1. src/main.nr:2:6

Failed to solve program: 'Cannot satisfy constraint'

❯ cargo run -q -p nargo_cli -- execute --force --silence-warnings --force-brillig

For more information about this error, try `rustc --explain E0602`.
[fuzz_testing] Circuit witness successfully solved
[fuzz_testing] Witness saved to target/fuzz_testing.gz
[fuzz_testing] Circuit output: 7435510297333629952