There was a plan to implement error union types (w...

# eap

[loke]

There was a plan to implement error union types (which, as far as I can tell, is a way to declare a return type to be either a value or an error and which is implemented behind the scenes using exceptions). In my project, I'm doing something that would be perfectly suited to this (a very rare error (64-bit overflow) which has to be handled specifically, and I use an exception to deal with it now, but it's easy for a caller to miss dealing with this special error case). I was hoping this would be in the new beta release, but it isn't. When can I hope to see this feature?

[bod]

The issue doesn't have a target version - I think it's still early

[loke]

Thanks a lot

[Youssef Shoaib [MOD]]

In the meantime, #arrow offers something that sits nicely between exceptions and errors-as-values