Mason Protter

> > However, I believe this can be solved through the injection of backedges into the generated function body. I think the above worldage issue would be solved by just...

Okay, so the good news is that I managed to get the invalidation machinery to cooperate and recompile stuff as needed: ```julia julia> using Traitor julia> begin abstract type Size...

Not a problem Tim, I know you're a busy guy!

> ...that this can be implemented now. Sorry could someone clarify what "this" refers to here?

Oh, I see now. I didn't realize the issue was opened *after* this package stopped working. I thought Tim was talking about some specific feature :facepalm:

One potential reason to prefer parsing as `+(1, +(2, 3))` is that it doesn't imply associativity of `+` and `*`, though admittedly I've never heard of a good definition of...

Yeah, this'll require a bit of thought to design correctly but should be possible I think. I wonder if we should just insert the `Union{..., Uninit}` ourselves if people constrain...

I must say though, I'm a little skeptical of the idea of there being instances of type `A` for which `B` is not constructable. Like, is there usecases where that's...

Hey sorry for the late reply @minecraft2048, I've been quite busy lately. Yeah, the problem here is that Julia's type system is invariant, not covariant (see this section of the...

Yeah... I've been meaning to do this for a while and haven't gotten around to it :sweat: