No matching impl found for where clause constraints when using macros

[jfecher]

Aim

Inserting a trait impl with trait constraints via an attribute:

#[foo]
struct MyOtherStruct<A, B> {
    field1: A,
    field2: B,
}

comptime fn foo(_s: StructDefinition) -> Quoted {
    quote {
        impl<A, B> Eq for MyOtherStruct<A, B> where A: Eq, B: Eq {
            fn eq(self, other: Self) -> bool {
                (self.field1 == other.field1) & (self.field2 == other.field2)
            }
        }
    }
}

fn main() {
    let x = MyOtherStruct { field1: 1, field2: 2 };
    assert_eq(x, x);
}

Expected Behavior

No errors

Bug

error: No matching impl found for `A: Eq`
  ┌─ src/main.nr:1:1
  │  
1 │ ╭ #[foo]
2 │ │ struct MyOtherStruct<A, B> {
3 │ │     field1: A,
4 │ │     field2: B,
5 │ │ }
  │ ╰─' No impl for `A: Eq`
  │  

error: No matching impl found for `B: Eq`
  ┌─ src/main.nr:1:1
  │  
1 │ ╭ #[foo]
2 │ │ struct MyOtherStruct<A, B> {
3 │ │     field1: A,
4 │ │     field2: B,
5 │ │ }
  │ ╰─' No impl for `B: Eq`
  │  

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