diff --git a/base/compiler/tfuncs.jl b/base/compiler/tfuncs.jl
index 20da39c08a603..88f335cc6d492 100644
--- a/base/compiler/tfuncs.jl
+++ b/base/compiler/tfuncs.jl
@@ -1558,7 +1558,7 @@ function tuple_tfunc(argtypes::Vector{Any})
                 else
                     params[i] = Type
                 end
-            elseif hasintersect(x, Type)
+            elseif !isvarargtype(x) && hasintersect(x, Type)
                 params[i] = Union{x, Type}
             else
                 params[i] = x