Subtyping non-transitivity involving varargs

[Keno]

A = Tuple{Tuple{Int64, Int64, Vararg{Int64, N}}, Tuple{Int64, Vararg{Int64, N}}, Tuple{Vararg{Int64, N}}} where N
B = Tuple{NTuple{N, Int}, NTuple{N, Int}, NTuple{N, Int}} where N

julia> A <: B
true

julia> A{0} <: A
true

julia> A{0} <: B
false

I believe A <: B should be false. Found while looking at #39088, but it's a separate issue. I believe #39098 comes up with the correct intersection of A and B at least, but there's still this subtyping issue.

[vtjnash]

Possibly related to #32392 also?

[JeffBezanson]

Agreed A <: B should be false.