fix :typeinfo with tuple elements (closes #25042)

[rfourquet]

This example proves that it was nice to keep as @assert in the the :typeinfo code (in the typeinfo_prefix function), rather than ignoring unexpected inconsistencies, as this would have led to have:

julia> fill((1, zeros(Float16, 3)), 3)
3-element Array{Tuple{Int64,Array{Float16,1}},1}:
 (1, Float16[0.0, 0.0, 0.0])
 (1, Float16[0.0, 0.0, 0.0])
 (1, Float16[0.0, 0.0, 0.0])

whereas with this fix we get

julia> fill((1, zeros(Float16, 3)), 3)
3-element Array{Tuple{Int64,Array{Float16,1}},1}:
 (1, [0.0, 0.0, 0.0])
 (1, [0.0, 0.0, 0.0])
 (1, [0.0, 0.0, 0.0])

[strickek]

Why is this a 10- and not a 3-element Array?

[rfourquet]

Why is this a 10- and not a 3-element Array?

Because in the issue it was using 10, not 3, but 3 was enough to make the point, but forgot to update the 10 from the summary while copy-pasting from my REPL. Thanks, I updated the OP.