Skip to content

Commit

Permalink
widen effects when bailing out from _apply_iterate
Browse files Browse the repository at this point in the history
We need to make sure that we widen both type and effects when bailing
out inference. I wanted to make a simplified test case for this, but
it turns out to be a bit tricky since it relies on the detail of union
split and the bailing out logic.

fix #48807
  • Loading branch information
aviatesk committed Feb 28, 2023
1 parent d6a77b6 commit e0067b3
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions base/compiler/abstractinterpretation.jl
Original file line number Diff line number Diff line change
Expand Up @@ -1566,6 +1566,7 @@ function abstract_apply(interp::AbstractInterpreter, argtypes::Vector{Any}, si::
if i != length(ctypes)
# No point carrying forward the info, we're not gonna inline it anyway
retinfo = NoCallInfo()
effects = Effects()
end
break
end
Expand Down

0 comments on commit e0067b3

Please sign in to comment.