Arithmetic generics assumes integer multiplication cancels integer division

[jfecher]

Aim

fn main() {
    oops::<6, 4>([1, 2, 3, 4, 5, 6]);

    // Expected type [Field; 6], found type [Field; 4]
    oops::<6, 4>([1, 2, 3, 4]);
}

// This gets erroneously simplified to `_x: [Field; N]` internally
fn oops<let N: u32, let M: u32>(_x: [Field; N / M * M]) {}

Expected Behavior

An error on the first call to oops and no error on the second.

Bug

We get no error on the first call, and instead get an error on the second call despite 6 / 4 * 4 = 4 in integer arithmetic.

To Reproduce

Workaround

None

Workaround Description

No response

Additional Context

No response

Project Impact

None

Blocker Context

No response

Nargo Version

No response

NoirJS Version

No response

Proving Backend Tooling & Version

No response

Would you like to submit a PR for this Issue?

None

Support Needs

No response