Thanks Tim, that seems to be it. I insisted on putting "lower bound" on my searches, so I didn't find that PR or the related issue. Thanks for working on this problem, best of luck!
2016-01-04 10:46 GMT-03:00 Tim Holy <[email protected]>: > 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? >
