Skip to content

Commit a32dba5

Browse files
authored
compiler: fix several more specialization mistake introduced by #40985 (#56547)
Refs #56404
1 parent 1e063d8 commit a32dba5

File tree

1 file changed

+5
-1
lines changed

1 file changed

+5
-1
lines changed

Compiler/src/abstractinterpretation.jl

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2199,9 +2199,13 @@ function abstract_invoke(interp::AbstractInterpreter, arginfo::ArgInfo, si::Stmt
21992199
env = tienv[2]::SimpleVector
22002200
mresult = abstract_call_method(interp, method, ti, env, false, si, sv)::Future
22012201
match = MethodMatch(ti, env, method, argtype <: method.sig)
2202+
ft_box = Core.Box(ft)
2203+
ft′_box = Core.Box(ft′)
22022204
return Future{CallMeta}(mresult, interp, sv) do result, interp, sv
22032205
(; rt, exct, effects, edge, volatile_inf_result) = result
2204-
res = nothing
2206+
local argtypes = arginfo.argtypes
2207+
local ft = ft_box.contents
2208+
local ft′ = ft′_box.contents
22052209
sig = match.spec_types
22062210
argtypes′ = invoke_rewrite(argtypes)
22072211
fargs = arginfo.fargs

0 commit comments

Comments
 (0)