partially fix InferenceResult cache lookup verification

base/compiler/inferenceresult.jl

@@ -104,12 +104,16 @@ end
 
 function cache_lookup(code::MethodInstance, argtypes::Vector{Any}, cache::Vector{InferenceResult})
     method = code.def::Method
+    nargs = method.nargs::Int
     for cache_code in cache
         # try to search cache first
         cache_args = cache_code.args
-        if cache_code.linfo === code && length(cache_args) == length(argtypes)
+        if cache_code.linfo === code && length(cache_args) === nargs
             cache_match = true
-            for i in 1:length(argtypes)
+            # TODO: Figure out easy + correct way to also verify `cache_code.vargs` and
+            # `cache_args[nargs]` without redundantly computing `vararg_type_vec` and
+            # `vararg_type` (from `get_argtypes` implementation above)
+            for i in 1:(nargs - 1)
                 a = argtypes[i]
                 ca = cache_args[i]
                 # verify that all Const argument types match between the call and cache