Re: [julia-users] Circular parametric types

[Bryan Rivera]

*typealias D Union{A,B}*


*julia> **D <: Union{A,B}*

*true*


*Is this what you meant?*


*So if the example code is a bug, does this mean Julia should have a 
recursive type tree?*