src/tools/miri/tests/fail/intrinsics/raw_eq_on_ptr.rs

   1 #![feature(intrinsics)]
   2
   3 extern "rust-intrinsic" {
   4     fn raw_eq<T>(a: &T, b: &T) -> bool;
   5 }
   6
   7 fn main() {
   8     let x = &0;
   9     unsafe { raw_eq(&x, &x) }; //~ERROR: `raw_eq` on bytes with provenance
  10 }