minor followup to #57009, improve typing of GlobalAccessInfo

`bpart`s there are all known to be `Core.BindingPartition` and never be `nothing`.
JuliaLang · Jan 28, 2025 · bde4583 · bde4583
1 parent eff8ba4
commit bde4583
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/Compiler/src/abstractinterpretation.jl b/Compiler/src/abstractinterpretation.jl
@@ -3560,7 +3560,7 @@ function global_assignment_rt_exct(interp::AbstractInterpreter, sv::AbsIntState,
             Pair{Any,Any}(newty, Union{ErrorException, TypeError}), nothing)
     end
     partition = abstract_eval_binding_partition!(interp, g, sv)
-    return Pair{Pair{Any,Any}, Union{Core.BindingPartition, Nothing}}(
+    return Pair{Pair{Any,Any}, Core.BindingPartition}(
         global_assignment_binding_rt_exct(interp, partition, newty),
         partition)
 end

diff --git a/Compiler/src/stmtinfo.jl b/Compiler/src/stmtinfo.jl
@@ -491,7 +491,6 @@ perform such accesses.
 struct GlobalAccessInfo <: CallInfo
     bpart::Core.BindingPartition
 end
-GlobalAccessInfo(::Nothing) = NoCallInfo()
 add_edges_impl(edges::Vector{Any}, info::GlobalAccessInfo) =
     push!(edges, info.bpart)