Fix fastpath in typekey_eq

Author: martinholters

src/jltypes.c

@@ -563,7 +563,8 @@ static int typekey_eq(jl_datatype_t *tt, jl_value_t **key, size_t n)
             // require exact same Type{T}. see e.g. issue #22842
             if (jl_is_type_type(tj) || jl_is_type_type(kj))
                 return 0;
-            if (jl_is_concrete_type(tj) || jl_is_concrete_type(kj))
+            if ((jl_is_concrete_type(tj) || jl_is_concrete_type(kj)) &&
+                jl_type_equality_is_identity(tj, kj))
                 return 0;
             if (!jl_types_equal(tj, kj))
                 return 0;

test/subtype.jl

@@ -1362,11 +1362,13 @@ end
 @test Vector{Tuple{Any}}() isa Vector{Tuple{>:Int}}
 @test Vector{Tuple{>:Int}}() isa Vector{Tuple{Any}}
 @test Vector{Tuple{Any}} == Vector{Tuple{>:Int}}
+@test Vector{Vector{Tuple{Any}}} == Vector{Vector{Tuple{>:Int}}}
 f25430(t::Vector{Tuple{Any}}) = true
 g25430(t::Vector{Tuple{>:Int}}) = true
 @test f25430(Vector{Tuple{>:Int}}())
 @test g25430(Vector{Tuple{Any}}())
 @testintersect(Vector{Tuple{>:Int}}, Vector{Tuple{Any}}, Vector{Tuple{Any}})
+@testintersect(Vector{Vector{Tuple{>:Int}}}, Vector{Vector{Tuple{Any}}}, Vector{Vector{Tuple{Any}}})
 
 # issue #24521
 g24521(::T, ::T) where {T} = T