Closed zachs18 closed 5 months ago
As of https://github.com/rust-lang/miri/pull/2275, raw pointer tagging is now always enabled, and since https://github.com/rust-lang/miri/pull/3339 the -Zmiri-tag-raw-pointers CLI option has been removed, causing CI failures.
-Zmiri-tag-raw-pointers
Also, https://github.com/rust-lang/miri/issues/2423 got fixed recently, so remove the workaround for it (that was also making miri CI fail lol).
As of https://github.com/rust-lang/miri/pull/2275, raw pointer tagging is now always enabled, and since https://github.com/rust-lang/miri/pull/3339 the
-Zmiri-tag-raw-pointers
CLI option has been removed, causing CI failures.Also, https://github.com/rust-lang/miri/issues/2423 got fixed recently, so remove the workaround for it (that was also making miri CI fail lol).