Incorrect result of shift right operation for value from as_bytes array

[akonior]

Aim

Convert string to u8 array and perform right shift >> on this u8 value.

Expected Behavior

Using String as_bytes method should return array of u8 values.

Bug

After

let y: u8 = "a".as_bytes()[0];

y is equal to 0x61 and is of type u8. So expression y >> 1 should be 0x30 but is some large number that looks like Field

To Reproduce

Run

#[test]
fn test_string_as_bytes() {
    let x: u8 = 0x61;
    let y: u8 = "a".as_bytes()[0];
    std::println(x); // => "0x61"
    std::println(y); // => "0x61"
    assert_eq(x, y);

    std::println(x >> 1); // => "0x30"
    std::println(y >> 1); // => "0x183227397098d014dc2822db40c0ac2e9419f4243cdcb848a1f0fac9f8000031"
    
    assert_eq(x >> 1, y >> 1); // error: Failed constraint
}

Example code https://github.com/akonior/noir_example/pull/2/files
CI failed logs: https://github.com/akonior/noir_example/actions/runs/7031006112/job/19131738391?pr=2

Installation Method

Binary

Nargo Version

0.19.2

Additional Context

No response

Would you like to submit a PR for this Issue?

Maybe

Support Needs

No response