Arithmetic generics N term being lost

[jfecher]

Aim

struct ArrData<let N: u32> {
    a: [Field; N],
    b: [Field; N + N - 1],
}
fn main() {
    let _f: ArrData<5> = ArrData {
        a: [0; 5],
        b: [0; 9],
    };
}

Expected Behavior

The program to type check

Bug

error: Expected type [Field; 4], found type [Field; 9] pointing to b

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