Vararg.hastypevars is false, but issubtype behaves otherwise

[TotalVerb]

This is suspicious:

julia> Type{Tuple{Vararg{Int}}} <: Type{Tuple{Vararg}}
true

julia> Vararg.hastypevars
false

While !Vararg.hastypevars, issubtype is comparing as if it did.

Example of incorrect behaviour resulting:

julia> f() = ifelse(true, Tuple{Vararg{Int}}, Tuple{Vararg})
f (generic function with 1 method)

julia> f()
Tuple{Vararg}

julia> f() == Tuple{Vararg{Int}}
false

[TotalVerb]

Another case (which I missed with #18467):

f() = ifelse(true, Tuple{Int, Vararg{Int}}, Tuple{Int, Vararg})

[JeffBezanson]

closed by #18457