Overflowing assignment should result in an error

[Ethan-000]

Aim

run this with nargo execute

use dep::std;
fn main() {
    let x:u8 = 300;
    std::println(x);
}

Expected Behavior

should result in an error that says 300 does not fit in u8

Bug

outputs

"0x012c"
[modulo_overflow_test] Circuit witness successfully solved

To Reproduce

Installation Method

Compiled from source

Nargo Version

nargo 0.9.0 (git version hash: 6a10ecf, is dirty: false)

Additional Context

see #2008 (comment)

Would you like to submit a PR for this Issue?

Maybe

Support Needs

No response