Closed
Description
This is reduced (by @maleadt) from some other code and causes a hang in subtyping:
struct d{e,f} <: AbstractArray{e,f} end
a = Tuple{b, b, b, b, b, b, b, b, b, b, b, b, b, b, b, b, b, b, b, b, b, b, b, b, b, b, b} where b<:Union{d, d{b}} where b
c = Tuple{d, d, AbstractArray, AbstractArray, AbstractArray, AbstractArray, AbstractArray, AbstractArray, AbstractArray, AbstractArray, AbstractArray, AbstractArray, AbstractArray, AbstractArray, AbstractArray, AbstractArray, AbstractArray, AbstractArray, AbstractArray, AbstractArray, AbstractArray, AbstractArray, AbstractArray, AbstractArray, AbstractArray, AbstractArray, AbstractArray}
a <: c