Aim

trait Foo {
    let N: u32;

    fn get_array(self) -> [Self; N];
}

impl Foo for Field {
    let N = 2;

    fn get_array(self) -> [Self; Self::N] {
        [1, 2]
    }
}

impl Foo for Field {
    let N = 3;

    fn get_array(self) -> [Self; Self::N] {
        [1, 2, 3]
    }
}

fn main(x: Field) {
    x.get_array();
}

Expected Behavior

Expected an error that there are two impl Foo for Field

Bug

No error - the program compiles without any related warnings

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