[julia-users] Unions and TypeVar lower bounds

[Fábio Cardeal]

Given this:
  
  T = TypeVar(:T, Int, Any)


I was wondering why while this happens:

  julia> Int <: Integer
  true

  julia> Integer <: T
  true


This also happens:

  julia> Int <: Union{Int,Char}
  true

  julia> Union{Int,Char} <: T
  false


Is this intended behaviour and I am just not understanding type variable 
lower bounds, or a missed corner case?