Trait suggestions ignore visibility

[wbl]

Every so often the compiler will helpfully suggest importing trait x::y::z to fix a missing method. But the compiler doesn't realize that x::y::z isn't visible, and x::z, or x::y'::z is the import that will work. Is it possible for the compiler in making trait suggestions to be aware of the visibility of the traits it suggests?

This is closely related to #31323 I believe.

[wbl]

#13065 is the original of this