We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 0f9e4d6 commit 713ddc2Copy full SHA for 713ddc2
src/tools/miri/tests/pass/intrinsics/intrinsics.rs
@@ -1,5 +1,5 @@
1
//@compile-flags: -Zmiri-permissive-provenance
2
-#![feature(core_intrinsics, layout_for_ptr)]
+#![feature(core_intrinsics, layout_for_ptr, ptr_metadata)]
3
//! Tests for various intrinsics that do not fit anywhere else.
4
5
use std::intrinsics;
@@ -57,4 +57,10 @@ fn main() {
57
// Make sure that even if the discriminant is stored together with data, the intrinsic returns
58
// only the discriminant, nothing about the data.
59
assert_eq!(discriminant(&Some(false)), discriminant(&Some(true)));
60
+
61
+ let () = intrinsics::ptr_metadata(&[1, 2, 3]);
62
+ let len = intrinsics::ptr_metadata(&[1, 2, 3][..]);
63
+ assert_eq!(len, 3);
64
+ let dyn_meta = intrinsics::ptr_metadata(&[1, 2, 3] as &dyn std::fmt::Debug);
65
+ assert_eq!(dyn_meta.size_of(), 12);
66
}
0 commit comments