Incorrect private warning

[jfecher]

Aim

In the associated_types_implicit example:

trait Foo {
    type Bar;

    fn foo(self) -> Self::Bar;
}

impl Foo for u64 {
    type Bar = u8;

    fn foo(self) -> Self::Bar {
        self as u8
    }
}

fn main() {
    let three: u64 = 3;
    call_foo(three);

    let x: Option<Option<u64>> = Option::some(Option::some(0));
    let x_foo = x.foo(); // private warning here
    assert_eq(x_foo, x_foo);
    assert_eq(x.foo(), 0 as u8); // private warning here
}

fn call_foo<T>(x: T) where
    T: Foo,
    <T as Foo>::Bar: Eq
{
    let y = x.foo();
    assert_eq(y, y);
}

impl<T> Foo for Option<T> where
    T: Foo,
    <T as Foo>::Bar: Eq
{
    type Bar = <T as Foo>::Bar;

    fn foo(self) -> Self::Bar {
        self.unwrap().foo()
    }
}

Expected Behavior

The program to compile without warnings

Bug

We get two warnings, one for each x.foo() call in main that read: foo is private and not visible from the current module despite foo and Foo being defined in the same module main is in.

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

[jfecher]

I think this is blocking #7026 currently due to a CI check causing a test to fail if there are any warnings emitted.