Am I missing something obvious here or is it a subtyping bug?
julia> Type === (Type{T} where T)
true
julia> Type <: supertype(Union)
true
julia> (Type{T} where T) <: supertype(Union)
false
Note that the original poster on Slack cannot see your response here on Discourse. Consider transcribing the appropriate answer back to Slack, or pinging the poster here on Discourse so they can follow this thread.
(Original message 
) (More Info)