Are circular type trees supposed to work?

We can't even join types yet:

*abstract A*


*abstract B*


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

*end*

Reply via email to