tests/ui/intrinsics/safe-intrinsic-mismatch.rs

   1 #![feature(intrinsics)]
   2 #![feature(rustc_attrs)]
   3
   4 extern "rust-intrinsic" {
   5     fn size_of<T>() -> usize; //~ ERROR intrinsic safety mismatch
   6
   7     #[rustc_safe_intrinsic]
   8     fn assume(b: bool); //~ ERROR intrinsic safety mismatch
   9 }
  10
  11 fn main() {}