Integer literal overflow/underflow doesn't always error

[asterite]

Aim

The compiler should error when integer literals don't fit the target integer type. This is already done in some cases, but not in all of them and not always correctly. Some examples:

let x: u8 = -1; // Should error, minimum is 0

let x: i8 = 128; // Should error, maximum is 127
let x: i8 = -129; // Should error, minimum is -128

let x: i8 = 256; // Correctly errors, because it checks against 255
let x: u8 = 256; // Correctly errors, because it checks against 255

(and similarly for other integer types)

Expected Behavior

This program should fail to compile:

fn main() {
    let x: i8 = 128;
    println(x);
}

Bug

The program successfully compiles and executing it prints "-128".

To Reproduce

No response

Project Impact

None

Impact Context

No response

Workaround

None

Workaround Description

No response

Additional Context

No response

Installation Method

None

Nargo Version

No response

NoirJS Version

No response

Would you like to submit a PR for this Issue?

Yes

Support Needs

No response