I don't believe we make any guarantees about how `enum`s are laid out. There's no FFI compatibility issue there (as our `enum` types don't exist in C). The only guarantee we make is for C-like enums, where we guarantee that the enum is represented by an integral value with the given discriminant (and the integral type can be controlled with the `#[repr]` attribute).