Let the compiler suggest trait re-exports when a trait isn't directly visible

[asterite]

Aim

LSP will offer a trait via a visible re-export if the trait, at its original location, isn't visible. The compiler doesn't (the problem view shows the compiler errors while the code action mentions the correct location):

Expected Behavior

The compiler, just like LSP, should suggest the visible re-export, not the private trait.

Bug

The compiler suggests an import that is private and give a further warning.

To Reproduce

Workaround

None

Workaround Description

Use the LSP code action to fix the issue.

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