How to do arithmetic in the type system?

I am not entirely sure because of the extensive use of generators in that piece of code.

But these partial constructors are known to have some bugs, the two of us already found some strange behavior on then in the past, see Using parametric type inside outer parametric constructor - #28 by Henrique_Becker and https://github.com/JuliaLang/julia/issues/39280

1 Like