diff --git a/base/inference.jl b/base/inference.jl
index e8c1e54cb3d43..63f9ab6257c98 100644
--- a/base/inference.jl
+++ b/base/inference.jl
@@ -1539,7 +1539,7 @@ function abstract_call_method(method::Method, f::ANY, sig::ANY, sparams::SimpleV
     sigtuple = unwrap_unionall(sig)::DataType
 
     tm = _topmod(sv)
-    if !istopfunction(tm, f, :promote_typeof) && !istopfunction(tm, f, :getindex)
+    if !istopfunction(tm, f, :promote_typeof) && !istopfunction(tm, f, :getindex) && !(method.sig == Tuple{Type, Any})
         # limit argument type tuple growth
         msig = unwrap_unionall(method.sig)
         lsig = length(msig.parameters)