Merge pull request #18572 from TotalVerb/fw/fix-18467-regression

Fix Tuple inference regression from #18467

Author: vtjnash

base/inference.jl

@@ -246,7 +246,7 @@ isType(t::ANY) = isa(t,DataType) && is((t::DataType).name,Type.name)
 # true if Type is inlineable as constant
 isconstType(t::ANY,b::Bool) =
     isType(t) && !has_typevars(t.parameters[1],b) &&
-    !issubtype(Tuple{Vararg}, t.parameters[1])  # work around inference bug #18450
+    !issubtype(Type{Tuple{Vararg}}, t)  # work around inference bug #18450
 
 const IInf = typemax(Int) # integer infinity
 const n_ifunc = reinterpret(Int32,arraylen)+1

test/inference.jl

@@ -368,3 +368,6 @@ end
 # issue #18450
 f18450() = ifelse(true, Tuple{Vararg{Int}}, Tuple{Vararg})
 @test f18450() == Tuple{Vararg{Int}}
+
+# issue #18569
+@test Core.Inference.isconstType(Type{Tuple},true)