Niche optimization, NonZero and `improper_ctypes`

15

I'll note that allowing a field, even a ZST field, starts to allow some weird things.

For example, here's a legal ZST:

enum Seven {
    Seven = 7
}

So should Result<Seven, NonZeroU32> guarantee this optimization?

4 Likes