Signed integer cast panics

[kevaundray]

Aim

This was reported by a user named Peter in Discord.

The following program will panic:

fn main(x: Field) -> pub i127 {
    x as i127
}

with

The application panicked (crashed).
Message:  assertion failed: bits + bit_size < FieldElement::max_num_bits()
Location: compiler/noirc_evaluator/src/ssa/acir_gen/acir_ir/generated_acir.rs:602

Whereas doing:

fn main(x: Field) -> pub i127 {
    (x as u126) as i127
}

Will pass.

Expected Behavior

.

Bug

.

To Reproduce

Installation Method

None

Nargo Version

No response

Additional Context

No response

Would you like to submit a PR for this Issue?

No

Support Needs

No response