know when to release the prefix context

Author: IanButterworth

stdlib/REPL/src/REPLCompletions.jl

@@ -1120,6 +1120,22 @@ function complete_loading_candidates!(suggestions::Vector{Completion}, pkgstarts
     return suggestions
 end
 
+# Check whether we should still be limiting completions to the scope of the prefix
+# i.e. `Base.@time myvar` should complete to `Base.@time myvariable` because `myvariable`
+# is a valid expression in the active module, but not Base
+function in_scope_of_prefix(string::String, pos::Int, separatorpos::Int)
+    pos <= separatorpos && return true
+    after_separator = string[separatorpos+1:pos]
+    isempty(after_separator) && return true
+    if any(in(non_identifier_chars), after_separator)
+        # Non-identifier chars means we're not in the identifier linked to the prefix
+        # i.e. the space in `Base.@time x`, or ( in `Base.@time(x`
+        return false
+    else
+        return true
+    end
+end
+
 function complete_identifiers!(suggestions::Vector{Completion},
                                context_module::Module, string::String, name::String,
                                pos::Int, separatorpos::Int, startpos::Int;
@@ -1130,7 +1146,9 @@ function complete_identifiers!(suggestions::Vector{Completion},
         complete_keyword!(suggestions, name)
         complete_keyval!(suggestions, name)
     end
-    if separatorpos > 1 && (string[separatorpos] == '.' || string[separatorpos] == ':')
+    if separatorpos > 1 &&
+        ((string[separatorpos] == '.' && in_scope_of_prefix(string, pos, separatorpos)) || string[separatorpos] == ':')
+
         s = string[1:prevind(string, separatorpos)]
         # First see if the whole string up to `pos` is a valid expression. If so, use it.
         prefix = Meta.parse(s, raise=false, depwarn=false)

stdlib/REPL/test/replcompletions.jl

@@ -2472,3 +2472,19 @@ let (c, r, res) = test_complete_context("global xxx::Number = Base.", Main)
     @test res
     @test "pi" ∈ c
 end
+
+# release context once past a qualified name
+for s in ("Base.@time TestInternalBinding", "Base.@time Base.@time TestInternalBinding",
+    "Base.@time(TestInternalBinding", "@time(Base.@time TestInternalBinding")
+    let (c, r, res) = test_complete_context(s; shift=false)
+        @test res
+        @test "TestInternalBindingOnly" ∈ c
+    end
+end
+for s in ("Base.@time TestInternalBindingOnly.bind", "Base.@time Base.@time TestInternalBindingOnly.bind",
+    "Base.@time(TestInternalBindingOnly.bind", "@time(Base.@time TestInternalBindingOnly.bind")
+    let (c, r, res) = test_complete_context(s; shift=false)
+        @test res
+        @test "binding" ∈ c
+    end
+end