fix #32607, bug in typeintersect of X{<:Tuple1} vs. X{Tuple2}

Author: JeffBezanson

src/subtype.c

@@ -2688,8 +2688,8 @@ static jl_value_t *intersect_invariant(jl_value_t *x, jl_value_t *y, jl_stenv_t
       first normalize types so that all `where` expressions in covariant position
       are pulled out to the top level.
     */
-    if ((jl_is_typevar(x) && !jl_is_typevar(y) && lookup(e, (jl_tvar_t*)x) == NULL) ||
-        (jl_is_typevar(y) && !jl_is_typevar(x) && lookup(e, (jl_tvar_t*)y) == NULL))
+    if ((jl_is_typevar(x) && !jl_is_typevar(y)) ||
+        (jl_is_typevar(y) && !jl_is_typevar(x)))
         return ii;
     jl_value_t *root=NULL;
     jl_savedenv_t se;

test/subtype.jl

@@ -991,6 +991,14 @@ function test_intersection()
     @test_broken typeintersect(Tuple{Type{Z},Z} where Z,
                                Tuple{Type{Ref{T}} where T, Ref{Float64}}) ==
         Tuple{Type{Ref{Float64}},Ref{Float64}}
+
+    # issue #32607
+    @testintersect(Type{<:Tuple{Integer,Integer}},
+                   Type{Tuple{Int,T}} where T,
+                   Type{Tuple{Int, T}} where T<:Integer)
+    @testintersect(Type{<:Tuple{Any,Vararg{Any}}},
+                   Type{Tuple{Vararg{Int,N}}} where N,
+                   Type{Tuple{Int,Vararg{Int,N}}} where N)
 end
 
 function test_intersection_properties()