summaryrefslogtreecommitdiffstats
path: root/src/test/ui/consts/issue-69488.rs
diff options
context:
space:
mode:
Diffstat (limited to 'src/test/ui/consts/issue-69488.rs')
-rw-r--r--src/test/ui/consts/issue-69488.rs34
1 files changed, 0 insertions, 34 deletions
diff --git a/src/test/ui/consts/issue-69488.rs b/src/test/ui/consts/issue-69488.rs
deleted file mode 100644
index 46546eada..000000000
--- a/src/test/ui/consts/issue-69488.rs
+++ /dev/null
@@ -1,34 +0,0 @@
-// run-pass
-
-#![feature(const_ptr_write)]
-#![feature(const_mut_refs)]
-
-// Or, equivalently: `MaybeUninit`.
-pub union BagOfBits<T: Copy> {
- uninit: (),
- _storage: T,
-}
-
-pub const fn make_1u8_bag<T: Copy>() -> BagOfBits<T> {
- assert!(core::mem::size_of::<T>() >= 1);
- let mut bag = BagOfBits { uninit: () };
- unsafe { (&mut bag as *mut _ as *mut u8).write(1); };
- bag
-}
-
-pub fn check_bag<T: Copy>(bag: &BagOfBits<T>) {
- let val = unsafe { (bag as *const _ as *const u8).read() };
- assert_eq!(val, 1);
-}
-
-fn main() {
- check_bag(&make_1u8_bag::<[usize; 1]>()); // Fine
- check_bag(&make_1u8_bag::<usize>()); // Fine
-
- const CONST_ARRAY_BAG: BagOfBits<[usize; 1]> = make_1u8_bag();
- check_bag(&CONST_ARRAY_BAG); // Fine.
- const CONST_USIZE_BAG: BagOfBits<usize> = make_1u8_bag();
-
- // Used to panic since CTFE would make the entire `BagOfBits<usize>` uninit
- check_bag(&CONST_USIZE_BAG);
-}