Remove special treatment of Tuples from tmerge

Author: martinholters

base/inference.jl

@@ -2607,17 +2607,6 @@ function tmerge(@nospecialize(typea), @nospecialize(typeb))
     if !(isa(typea,Type) || isa(typea,TypeVar)) || !(isa(typeb,Type) || isa(typeb,TypeVar))
         return Any
     end
-    if (typea <: Tuple) && (typeb <: Tuple)
-        if isa(typea, DataType) && isa(typeb, DataType) && length(typea.parameters) == length(typeb.parameters) && !isvatuple(typea) && !isvatuple(typeb)
-            return typejoin(typea, typeb)
-        end
-        if isa(typea, Union) || isa(typeb, Union) || (isa(typea,DataType) && length(typea.parameters)>3) ||
-            (isa(typeb,DataType) && length(typeb.parameters)>3)
-            # widen tuples faster (see #6704), but not too much, to make sure we can infer
-            # e.g. (t::Union{Tuple{Bool},Tuple{Bool,Int}})[1]
-            return Tuple
-        end
-    end
     u = Union{typea, typeb}
     if unionlen(u) > MAX_TYPEUNION_LEN
         u = typejoin(typea, typeb)

test/inference.jl

@@ -1105,3 +1105,5 @@ end
 
 f_ADD_PR_NUMBER(x) = (Int8(0), Int16(0), Int32(0), Int64(0))[x]
 @test Base.return_types(f_ADD_PR_NUMBER, Tuple{Int})[1] <: Signed
+g_ADD_PR_NUMBER(x,y,z) = x ? y ? z ? (1,) : (1,1.0) : (1,1) : (1,1.0,1)
+@test Base.return_types(g_ADD_PR_NUMBER, Tuple{Bool,Bool,Bool})[1] <: Tuple{Int64,Vararg{Real}}