#![feature(strict_provenance)] should be stabilized soon (rust-lang/rust#130350), and there are places where we can handle things better than provenance exposing as casts. One such place is #1134 (review), where a bool to ptr cast is always an invalid ptr, and so we know it's non-provenance preserving.