diff --git a/base/inference.jl b/base/inference.jl
index 39045df925066..7cc751100eada 100644
--- a/base/inference.jl
+++ b/base/inference.jl
@@ -4391,6 +4391,7 @@ function inlineable(@nospecialize(f), @nospecialize(ft), e::Expr, atypes::Vector
         # where we can't easily correct it afterwards.
         frame = InferenceState(linfo, #=optimize=#true, #=cache=#false, sv.params)
         frame.stmt_types[1][3] = VarState(atypes[3], false)
+        frame.src.slottypes[3] = atypes[3]
         typeinf(frame)
     else
         if isdefined(linfo, :inferred) && linfo.inferred !== nothing