Trait method not found when working on inferred integer type

[jfecher]

Aim

trait Foo {
    fn foo(self) -> Field;
}

impl Foo for Field {
    fn foo(self) -> Field {
        self + 1
    }
}

fn main() {
    dep::std::println(1.foo());
}

Expected Behavior

The given code should compile and run

Bug

An error is issued:

error: No method named 'foo' found for type 'Field'
   ┌─ /.../short/src/main.nr:68:23
   │
68 │     dep::std::println(1.foo());
   │                       -------
   │

We should match rust's behavior here. At the time 1.foo() is called, there is only 1 applicable impl, so we should select that one and set the type of 1 appropriately.

The likely reason this doesn't already work is that integer literals in noir are polymorphic (generic), and the use of generics with traits isn't yet implemented.

To Reproduce

Installation Method

None

Nargo Version

No response

Additional Context

No response

Would you like to submit a PR for this Issue?

No

Support Needs

No response