Incorrect subtyping result for `Ref{Vector{Tuple{K}} where K} <: Ref{<:Vector{K}} where K`

I might be reasoning about this incorrectly, but Julia declares:
```julia
julia> Ref{Vector{Tuple{K}} where K} <: Ref{<:Vector{K}} where K
true
```

I think this is incorrect because it requires proving that `∃K'. (Vector{Tuple{K}} where K) <: Vector{K'}` which is false.

For comparison:
```julia
julia> Ref{Vector{K} where K} <: Ref{<:Vector{K}} where K
false
```