docs: add note about not implying being defined to names

ref #51584
JuliaLang · Oct 4, 2023 · 13b8fab · 13b8fab
1 parent 165f728
commit 13b8fab
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/base/reflection.jl b/base/reflection.jl
@@ -84,6 +84,11 @@ are also included.
 As a special case, all names defined in `Main` are considered \"public\",
 since it is not idiomatic to explicitly mark names from `Main` as public.
 
+!!! note
+ `sym ∈ names(SomeModule)` does *not* imply `isdefined(SomeModule, sym)`,
+ because `names` will report a symbol that is exported from the module even if
+ the symbol is not defined.
+
 See also: [`isexported`](@ref), [`ispublic`](@ref), [`@locals`](@ref Base.@locals), [`@__MODULE__`](@ref).
 """
 names(m::Module; all::Bool = false, imported::Bool = false) =