evaluate_methoddef: add @invokelatest to avoid world age error (#697)

It appears that when executing `:jl_method_def` in edge cases using
`baremodule`, world age errors may occur. Adding `@invokelatest` avoids
this issue. For details, please refer to the test case.

Author: aviatesk

src/interpret.jl

@@ -409,7 +409,7 @@ function eval_rhs(interp::Interpreter, frame::Frame, node::Expr)
            head === :aliasscope || head === :popaliasscope
         return nothing
     elseif head === :method && length(node.args) == 1
-        return evaluate_methoddef(interp, frame, node)
+        return @invokelatest evaluate_methoddef(interp, frame, node)
     end
     return lookup_expr(interp, frame, node)
 end
@@ -514,7 +514,7 @@ function step_expr!(interp::Interpreter, frame::Frame, @nospecialize(node), isto
                 # (https://github.com/JuliaDebug/JuliaInterpreter.jl/issues/591)
             elseif istoplevel
                 if node.head === :method && length(node.args) > 1
-                    rhs = evaluate_methoddef(interp, frame, node)
+                    rhs = @invokelatest evaluate_methoddef(interp, frame, node)
                 elseif node.head === :module
                     error("this should have been handled by split_expressions")
                 elseif node.head === :using || node.head === :import || node.head === :export

test/toplevel.jl

@@ -649,3 +649,24 @@ let ex = quote import Test end
     JuliaInterpreter.finish_and_return!(Frame(ImportTest, ex), true)
     @test @invokelatest JuliaInterpreter.isdefinedglobal(ImportTest, :Test)
 end
+
+module BareModuleTest end
+function toplevel_eval(m, x)
+    modexs = ExprSplitter(m, x)
+    for (mod, ex) in modexs
+        frame = Frame(mod, ex)
+        while true
+            JuliaInterpreter.through_methoddef_or_done!(frame) === nothing && break
+        end
+    end
+end
+let ex = :(baremodule BareModule
+        using Base
+        function foo(x::Cint)
+            @ccall jl_(x::Cint)::Cvoid
+        end
+    end)
+    toplevel_eval(BareModuleTest, ex)
+    @test @invokelatest(JuliaInterpreter.isdefinedglobal(BareModuleTest, :BareModule)) &&
+        @invokelatest(JuliaInterpreter.isdefinedglobal(@invokelatest(BareModuleTest.BareModule), :foo))
+end