Sum Type by Struct

[IchorDev]

On Thursday, 12 September 2024 at 11:28:56 UTC, Richard (Rikki) 
Andrew Cattermole wrote:
> The layout of the sumtype is variable size, allowing for copy 
> constructors, destructors and no value (if size zero).

So this would enable variable-sized stack return? Do you have any 
plans for how that might be implemented?
Also this might be the only way to create a zero-sized type! 
(Hurray!)

> 2. Allow value type exceptions to be baked by this, and to 
> offer catch all.

;)

Also how costly do you think this version of sum types will be 
for compile times?