From 288af6e09b2f3cc08308df1d641ac91dcd75610a Mon Sep 17 00:00:00 2001
From: Jameson Nash <vtjnash@gmail.com>
Date: Fri, 1 Nov 2024 15:03:16 +0000
Subject: [PATCH] compiler: fix several more specialization mistake introduced
 by #40985

Refs #56404
---
 Compiler/src/abstractinterpretation.jl | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/Compiler/src/abstractinterpretation.jl b/Compiler/src/abstractinterpretation.jl
index edeb5d805b3d5..d18497c3b9e24 100644
--- a/Compiler/src/abstractinterpretation.jl
+++ b/Compiler/src/abstractinterpretation.jl
@@ -2199,9 +2199,13 @@ function abstract_invoke(interp::AbstractInterpreter, arginfo::ArgInfo, si::Stmt
     env = tienv[2]::SimpleVector
     mresult = abstract_call_method(interp, method, ti, env, false, si, sv)::Future
     match = MethodMatch(ti, env, method, argtype <: method.sig)
+    ft_box = Core.Box(ft)
+    ft′_box = Core.Box(ft′)
     return Future{CallMeta}(mresult, interp, sv) do result, interp, sv
         (; rt, exct, effects, edge, volatile_inf_result) = result
-        res = nothing
+        local argtypes = arginfo.argtypes
+        local ft = ft_box.contents
+        local ft′ = ft′_box.contents
         sig = match.spec_types
         argtypes′ = invoke_rewrite(argtypes)
         fargs = arginfo.fargs