On Friday, 25 February 2022 at 21:46:25 UTC, Dukc wrote: > Wouldn't putting the handle in union with `void[1]` work? No, `void[1]` is not a type with unsafe values. > Doesn't that mean that this is allowed: Yes, I'll fix that. > The third comment is wrong according to my test: Ditto.