Calling trait method from its full path panics

[michaeljklein]

Aim

Attempted to call Add::add function without using a method call:

fn main() {
    let _ = std::ops::Add::add(
        1, 2
    );
}

Expected Behavior

Expected a user error

Bug

The application panicked (crashed).
Message:  assertion `left == right` failed
  left: 1
 right: 0
Location: compiler/noirc_evaluator/src/ssa/opt/inlining.rs:583

To Reproduce

Project Impact

None

Impact Context

No response

Workaround

Yes

Workaround Description

Bisect the program to find the error

Additional Context

No response

Installation Method

None

Nargo Version

nargo version = 0.31.0 noirc version = 0.31.0+45e82a672b9ba7f7326e8d9f8800e2489013e2e8 (git version hash: 45e82a6, is dirty: false)

NoirJS Version

No response

Would you like to submit a PR for this Issue?

None

Support Needs

No response

[jfecher]

This seems to be related to imports of traits somehow:

use std::cmp::Eq;

fn main() {
    let x: Field = 0 ;
    let _ = Eq::eq(x, x);
}

Works but the following does not:

fn main() {
    let x: Field = 0 ;
    let _ = std::cmp::Eq::eq(x, x);
}

I've confirmed this is still the case when using a locally defined MyEq trait instead of the one from the stdlib.