Re: [julia-users] Circular parametric types

[Bryan Rivera]

Are circular type trees supposed to work?

We can't even join types:

*abstract A*

*abstract B*

*type D <: Union{A, B}  # Fail*

*end*