Seems sensible overall, modulo comment.

Does need a test though.

There's also some trailing whitespace that needs to be removed. You can see where on the "files changd" tab of this PR. (Some editors have an option to strip trailing whitespace automatically)

In thinking about how to test this, I've come across what may be a problem. If I do

module A
export f
f() = 0.0
end

module B
import ..A: f
export f
end

module C
import ..B: f
public f
end

module D
public f
f() = 1.0
end

append!(Base.loaded_modules_order, [A, B, C, D]) # is there a less gross way?
import .B

Then the hints for julia> f look like this

ERROR: UndefVarError: `f` not defined in `Main`
Suggestion: check for spelling errors or missing imports.
Hint: a global variable of this name also exists in Main.A.
    - Also exported by Main.B (loaded but not imported in Main).
    - Also made available as public by Main.C (loaded but not imported in Main).
Hint: a global variable of this name also exists in Main.D.

The problem here is that (unlike C), B is imported.

The same thing happens with 1.11.

julia> f
ERROR: UndefVarError: `f` not defined in `Main`
Suggestion: check for spelling errors or missing imports.
Hint: a global variable of this name may be made accessible by importing Main.A in the current active module Main
Hint: a global variable of this name may be made accessible by importing Main.B in the current active module Main
Hint: a global variable of this name may be made accessible by importing Main.C in the current active module Main
Hint: a global variable of this name may be made accessible by importing Main.D in the current active module Main

I think the problem arises from calling Symbol(m), where m is a Module, but I might be confused.

I would welcome input here about whether or not this is out of scope for this PR, and whether there is a better way to test this.

I think the problem arises from calling Symbol(m), where m is a Module, but I might be confused.

I haven't looked closely enough to determine whether Symbol(m) is the problem but if you suspect it is then you could try nameof(m) instead. (However, note that nameof here isn't fully equivalent; consider e.g. Symbol(Base.Broadcast) vs. nameof(Base.Broadcast). To get the same behavior, you'd need Symbol(join(fullname(m), '.')).)