bad error message regarding resolving generics

[kashbrti]

when running the code below, the compiler complains about resolving the generics although the issue we're checking a field element has negative number of bits.

fn main() {
    let limbs: [Field; 4] = [0xea1742447ee9d92f9f18e1c80a481e, 0x3d89ad3d3ae85f3f482a08435c93ec, 0x1e9f, 0x1]; 
    validate_in_range::<4, 254>(limbs);
}

pub(crate) fn validate_in_range<let N: u32, let MOD_BITS: u32>(limbs: [Field; N]) {
    for i in 0..(N - 1) {
        limbs[i].assert_max_bit_size::<120>();
    }
    limbs[N - 1].assert_max_bit_size::<MOD_BITS - ((N - 1) * 120)>();
}

[asterite]

The error message in master is this now:

error: Could not determine array length `-106`, encountered error: `The value `-106` cannot fit into `numeric u32` which has a maximum size of `4294967295``
   ┌─ std/field/mod.nr:14:13
   │
14 │             BIT_SIZE < modulus_num_bits() as u32,
   │             --------
   │
   = Call stack:
     1. std/field/mod.nr:14:13

I guess that's the expected message, right?

It seems it was fixed by #7263 though I'm not sure why.