Trait implemented for all T is not resolved

[sirasistant]

Aim

Implementing a trait for types that implements two other traits:

use dep::std::ops::Eq;
use dep::std::default::Default;

trait IsDefault {
    fn is_default(self) -> bool;
}

impl<T> IsDefault for T where T: Default + Eq {
    fn is_default(self) -> bool {
        self.eq(T::default())
    }
}

struct Foo {
    a: u64,
}

impl Eq for Foo {
    fn eq(self, other: Foo) -> bool { self.a == other.a } 
}

impl Default for Foo {
    fn default() -> Self {
        Foo { a: Default::default() }
    }
}

fn main(a: Foo) -> pub bool {
    a.is_default()
}

Expected Behavior

Should compile!

Bug

fails with

No method named 'is_default' found for type 'Foo'

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