1.10 update: reimplement toplevel analysis features

[aviatesk]

• Allow top-level analysis with concretized values [completion:: 2025-04-05]

@analyze_toplevel begin
    global sx::String = "julia"
    sum(sx)
end

• Allow top-level analysis with non-concretized values [completion:: 2025-04-07]

@analyze_toplevel begin
    global sx::String
    sx = join(rand(Char,5))
    foo(s) = sum(s)
    foo(sx)
end

• [-] Allow top-level analysis with untyped globals

@analyze_toplevel begin
    #=global=# xs = "julia"
    sum(xs) # should this be really reported?
end

• Allow inference with non-concretized const [completion:: 2025-04-07]

@analyze_toplevel begin
   const sx22 = let xs =  rand(Char,5)
       println(xs)
       xs
   end
   sum(sx22)
end

---

Requires:

• inference: simplify abstract_eval_globalref JuliaLang/julia#58026
• inference: re-enable inference overload for basic statements JuliaLang/julia#58027

to be merged and backported to 1.12.