Hi Fábio,
Probably relevant:
https://github.com/JuliaLang/julia/pull/11805
--Tim
On Wednesday, December 30, 2015 09:50:27 AM Fábio Cardeal wrote:
> 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?
