Trait with superfluous generic argument panics

[michaeljklein]

Aim

Attempted to compile the following program:

impl std::ops::Add<()> for () {
    fn add(self, other: ()) -> () { }
}

fn main() { }

Expected Behavior

The program to compile successfully

Bug

Compilation panics with:

❯ nargo compile
The application panicked (crashed).
Message:  assertion `left == right` failed
  left: 0
 right: 1
Location: compiler/noirc_frontend/src/elaborator/mod.rs:1526

To Reproduce

Project Impact

None

Impact Context

No response

Workaround

None

Workaround Description

No response

Additional Context

No response

Installation Method

Binary (noirup default)

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

[TomAFrench]

Note this is because the Add trait is not generic.

noir/compiler/noirc_frontend/src/elaborator/mod.rs

Line 1527 in 5bbce79

assert_eq!(resolved_generics.len(), trait_impl.trait_generics.len());