Recursive irinterp is not compiled into the sysimage

[KristofferC]

Running some code in Pkg causes the following compilation:

#=   46.8 ms =# precompile(Tuple{Base.Compiler.var"#get_infer_result#typeinf_edge##0"{Method, Bool, Bool, Base.Compiler.InferenceResult, Base.Compiler.Future{Base.Compiler.MethodCallResult}}, Base.Compiler.NativeInterpreter, Base.Compiler.IRInterpretationState})

It would probably be a good idea to ensure this path is compiled into the sysimage so it doesn't have to be done at runtime for user code.

[aviatesk]

It seems that the specialization for typeinf_edge(::NativeInterpreter, ::Method, ::Any, ::SimpleVector, ::IRInterpretationState, ::Bool, ::Bool) is included in the sysimg. However, the problem is that the closure get_infer_result within this method is only added to sv.tasks with push!(sv.tasks, get_infer_result)

julia/Compiler/src/typeinfer.jl

Line 818 in 14df038

push!(caller.tasks, function get_infer_result(interp, caller)

, so no inference is performed on it even if the parent method is inferred. As a result, this specialization isn't inferred until it’s actually hit, which is causing this issue.