REPL: fix #27184, ensure macro existence before lowering

Author: aviatesk

stdlib/REPL/src/REPLCompletions.jl

@@ -456,6 +456,12 @@ function get_type(sym::Expr, fn::Module)
     # try to analyze nests of calls. if this fails, try using the expanded form.
     val, found = try_get_type(sym, fn)
     found && return val, found
+    # https://github.com/JuliaLang/julia/issues/27184
+    if isexpr(sym, :macrocall)
+        s = first(sym.args)
+        isa(s, Symbol) && !isdefined(fn, s) && return Any, false
+        isa(s, GlobalRef) && !isdefined(s.mod, s.name) && return Any, false
+    end
     return try_get_type(Meta.lower(fn, sym), fn)
 end
 

stdlib/REPL/test/replcompletions.jl

@@ -1109,3 +1109,8 @@ let s = "test_dict[\"ab"
     c, r = test_complete_context(s)
     @test c == Any["\"abc\"", "\"abcd\""]
 end
+
+# https://github.com/JuliaLang/julia/issues/27184
+let s = "@noexist."
+    (test_complete(s); @test true)
+end