Nargo info fails on some contracts

[sirasistant]

Aim

Running nargo info on https://github.com/AztecProtocol/aztec-packages/tree/master/yarn-project/noir-contracts/src/contracts/easy_private_token_contract

Expected Behavior

It should print the info about the contract:

[EasyPrivateToken](mint) Total ACIR opcodes generated: 163
[EasyPrivateToken](mint) Backend circuit size: 11055
[EasyPrivateToken](transfer) Total ACIR opcodes generated: 489
[EasyPrivateToken](transfer) Backend circuit size: 21591
[EasyPrivateToken](getBalance) Total ACIR opcodes generated: 1
[EasyPrivateToken](getBalance) Backend circuit size: 1
[EasyPrivateToken](constructor) Total ACIR opcodes generated: 163
[EasyPrivateToken](constructor) Backend circuit size: 11055
[EasyPrivateToken](compute_note_hash_and_nullifier) Total ACIR opcodes generated: 1
[EasyPrivateToken](compute_note_hash_and_nullifier) Backend circuit size: 1

Bug

Instead I'm getting this error:

The application panicked (crashed).
Message:  internal error: entered unreachable code: Cannot assign linear term to a constrain of width 3
Location: /mnt/user-data/alvaro/.cargo/registry/src/github.com-1ecc6299db9ec823/acvm-backend-barretenberg-0.10.0/src/barretenberg_structures.rs:114

I think the cause is that the nargo info on contracts is trying to run get_exact_circuit_size on unoptimized bytecode, since adding optimize_circuit(backend, function.bytecode) avoided the panic.

To Reproduce

Installation Method

Compiled from source

Nargo Version

No response

Additional Context

No response

Would you like to submit a PR for this Issue?

No

Support Needs

No response

[sirasistant]

Tagging @TomAFrench @Ethan-000

[Ethan-000]

I think the cause is that the nargo info on contracts is trying to run get_exact_circuit_size on unoptimized bytecode, since adding optimize_circuit(backend, function.bytecode) avoided the panic.

can confirm this