Methods on primitive integers get mixed

[asterite]

Aim

The following code:

trait Read {
    fn read(data: [Field; 1]) -> Self;
}

impl Read for Field {
    fn read(data: [Field; 1]) -> Self {
        data[0]
    }
}

impl Read for u32 {
    fn read(data: [Field; 1]) -> Self {
        data[0] as u32
    }
}

fn main() {
    let data = [1];
    let _: u32 = u32::read(data);
}

doesn't compile because the compiler thinks u32::read returns a Field.

Expected Behavior

The above code compiles without error.

Bug

The code above errors. I think it's because we store all integer-and-field methods in a single bucket (not sure!)

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

[jfecher]

doesn't compile because the compiler thinks u32::read returns a Field.

This is because of TypeMethodKey in the node interner. All integer types share the same method key with fields so that we can still call methods on polymorphic integer literals. So it is probably selecting Field::read instead. If you reorder the impls it'll probably change as well.