1 #![feature(stmt_expr_attributes)]
3 use std::mem::MaybeUninit;
6 let _: usize = unsafe { MaybeUninit::uninit().assume_init() };
8 // edge case: For now we lint on empty arrays
9 let _: [u8; 0] = unsafe { MaybeUninit::uninit().assume_init() };
11 // edge case: For now we accept unit tuples
12 let _: () = unsafe { MaybeUninit::uninit().assume_init() };
14 // This is OK, because `MaybeUninit` allows uninitialized data.
15 let _: MaybeUninit<usize> = unsafe { MaybeUninit::uninit().assume_init() };
17 // This is OK, because all constitutent types are uninit-compatible.
18 let _: (MaybeUninit<usize>, MaybeUninit<bool>) = unsafe { MaybeUninit::uninit().assume_init() };
20 // This is OK, because all constitutent types are uninit-compatible.
21 let _: (MaybeUninit<usize>, [MaybeUninit<bool>; 2]) = unsafe { MaybeUninit::uninit().assume_init() };