Ref: https://github.com/rust-lang/rust/issues/135968#issuecomment-2612440386 and https://github.com/rust-lang/miri/