type system bug with comparing simple invariant bounds

[vtjnash]

julia> (Type{AbstractArray{Array{T}} where T}) <: Type{AbstractArray{S}} where S
true

julia> (Val{AbstractArray{Array{T}} where T}) <: Val{AbstractArray{T}} where T
true

julia> (Array{Array{Array{T}} where T}) <: Array{Array{T}} where T
true

[mauro3]

Does this also cover below?

              _                     
   _       _ _(_)_     |  A fresh approach to technical computing          
  (_)     | (_) (_)    |  Documentation: https://docs.julialang.org        
   _ _   _| |_  __ _   |  Type "?help" for help.                           
  | | | | | | |/ _` |  |             
  | | |_| | | | (_| |  |  Version 0.7.0-DEV.1430 (2017-08-22 11:59 UTC)    
 _/ |\__'_|_|_|\__'_|  |  Commit e6c8b6b285* (0 days old master)           
|__/                   |  x86_64-pc-linux-gnu                              

julia> triangular(::Type{<:AbstractArray{T}}) where {T} = T # fix for test_broken: @isdefined(T) ? T : Any                                             
triangular (generic function with 1 method)                                

julia> triangular(::Type{<:AbstractArray}) = Any                           
triangular (generic function with 2 methods)                               

julia> triangular(Array{Array{T, 1}, 1} where T)                           
ERROR: UndefVarError: T not defined  
Stacktrace:                          
 [1] triangular(::Type{Array{Array{T,1},1} where T}) at ./REPL[1]:1        

julia> triangular(Array{Array{T, N}, 1} where {N,T})                       
ERROR: UndefVarError: T not defined  
Stacktrace:                          
 [1] triangular(::Type{Array{Array{T,N},1} where T where N}) at ./REPL[1]:1

julia> triangular(Array{Array{T, N}, NN} where {NN,N,T})                   
ERROR: UndefVarError: T not defined  
Stacktrace:                          
 [1] triangular(::Type{Array{Array{T,N},NN} where T where N where NN}) at ./REPL[1]:1