Allow deriving `Zeroable` for enums which are `#[repr(u32, i8, etc..)]`

Question

Allow deriving `Zeroable` for enums which are `#[repr(u32, i8, etc..)]`

ARitz-Cracker opened this issue 7 months ago · 2 comments

If an enum is explicitly defined in a manner where "0" is a valid variant, and all the payloads of the 0 variant are zeroable, then it concludes that the enum is safely zeroable.

Answer 1 · 2024-03-11T21:33:57.000Z

Additionally (though this may be a separate issue) an enum which is #[repr(u8)] and has all 256 variants explicitly defined can safely implement Pod.

Answer 2 · 2024-03-11T21:37:45.000Z

That all sounds right to me.