···5353// 9. Tagged unions coerce to the current tagged enum.
5454//
5555// 10. Enums coerce to a tagged union when that tagged field is a
5656-// a zero-length type that has only one value (like void).
5656+// zero-length type that has only one value (like void).
5757//
5858// 11. Zero-bit types (like void) can be coerced into single-item
5959// pointers.