tests/fail/provenance/strict_provenance_cast.rs

   1 // compile-flags: -Zmiri-strict-provenance
   2
   3 fn main() {
   4     let addr = &0 as *const i32 as usize;
   5     let _ptr = addr as *const i32; //~ ERROR integer-to-pointer casts and `from_exposed_addr` are not supported
   6 }