1 //@compile-flags: -Zmiri-permissive-provenance
2 #![feature(core_intrinsics, layout_for_ptr)]
3 //! Tests for various intrinsics that do not fit anywhere else.
6 use std::mem::{size_of, size_of_val, size_of_val_raw};
17 assert_eq!(size_of::<Option<i32>>(), 8);
18 assert_eq!(size_of_val(&()), 0);
19 assert_eq!(size_of_val(&42), 4);
20 assert_eq!(size_of_val(&[] as &[i32]), 0);
21 assert_eq!(size_of_val(&[1, 2, 3] as &[i32]), 12);
22 assert_eq!(size_of_val("foobar"), 6);
25 assert_eq!(size_of_val_raw(&[1] as &[i32] as *const [i32]), 4);
28 assert_eq!(size_of_val_raw(0x100 as *const i32), 4);
31 assert_eq!(intrinsics::type_name::<Option<i32>>(), "core::option::Option<i32>");
33 assert_eq!(intrinsics::likely(false), false);
34 assert_eq!(intrinsics::unlikely(true), true);
36 intrinsics::forget(Bomb);
38 let _v = intrinsics::discriminant_value(&Some(()));
39 let _v = intrinsics::discriminant_value(&0);
40 let _v = intrinsics::discriminant_value(&true);
41 let _v = intrinsics::discriminant_value(&vec![1, 2, 3]);