[Recently](https://github.com/rust-lang/rust/pull/130628#issuecomment-2402761599) we ratified the `Option` null-pointer guarantee to also apply to `Option`-like types. Miri should be adjusted to match that.
Recently we ratified the
Optionnull-pointer guarantee to also apply toOption-like types. Miri should be adjusted to match that.