diff --git a/base/compiler/tfuncs.jl b/base/compiler/tfuncs.jl
index 20da39c08a6039..d11fcca45c5b74 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 hasintersect(x, Type) && !isvarargtype(x)
                 params[i] = Union{x, Type}
             else
                 params[i] = x