From bde4583bc787d364ced3ba04ccd41f892770e2ba Mon Sep 17 00:00:00 2001 From: Shuhei Kadowaki Date: Tue, 28 Jan 2025 15:16:31 +0900 Subject: [PATCH] minor followup to #57009, improve typing of `GlobalAccessInfo` `bpart`s there are all known to be `Core.BindingPartition` and never be `nothing`. --- Compiler/src/abstractinterpretation.jl | 2 +- Compiler/src/stmtinfo.jl | 1 - 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/Compiler/src/abstractinterpretation.jl b/Compiler/src/abstractinterpretation.jl index dbd7e76615116e..c6430e3c37116c 100644 --- 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 index e3f8e2f56c86b2..3f8eb627952c37 100644 --- 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)