Are circular type trees supposed to work? We can't even join types yet:
*abstract A* *abstract B* *type D <: Union{A, B}* *end*
Are circular type trees supposed to work? We can't even join types yet:
*abstract A* *abstract B* *type D <: Union{A, B}* *end*