There is an error [1] (caused by [2]) in taggedalgebraic, because void initializers for pointer types are now invalid in safe code. The question now is, is there any workaround that can be done in the library, or will every library user have to fix this?

Of course, the new error is more restrictive than it should be, namely if the uninitialized pointer field gets written before the first read, it would still be safe.

[1]: [2]:

Reply via email to