1) an `Option` that's `None` isn't "all zeroes" — it's actually `[0x8000000, uninitialized, uninitialized]`
2) just because an enum variant is using the NPO doesn't mean it's all zeroes
3) and it doesn't even mean that the niche itself is "all zeroes"
Comments
1) an `Option
2) just because an enum variant is using the NPO doesn't mean it's all zeroes
3) and it doesn't even mean that the niche itself is "all zeroes"
https://doc.rust-lang.org/stable/src/alloc/raw_vec.rs.html#89
But it's the second field! Maybe it re-orders it so that it only needs to read one register […]
Fun
https://play.rust-lang.org/?version=stable&mode=debug&edition=2024&gist=155034208917f5d329a493df4fdd8f74