Integer literal overflow/underflow doesn't always error when assigning to explicitly typed variable

[asterite]

Aim

The compiler should error when an integer literal is assigned to a variable with an explicit integer type, and that literal is outside the range of the integer.

This is already the case, but only for unsigned integers, but only if positive values exceed the maximum. What's missing:

• check that negative values can't be assigned to unsigned integers
• check min/max against signed integers

This is similar to #5372, except that here the compiler does an early check with explicitly annotated types, and in the related issue the check is done later on, once unknown types are resolved.

Expected Behavior

All of these programs should error:

fn main() {
  let x: u8 = -1;
}

fn main() {
  let x: i8 = -129;
}

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

Bug

The above programs don't error.

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