1 #![feature(stmt_expr_attributes)] 2 3 use std::mem::{self, MaybeUninit}; 4 main()5fn main() { 6 let _: usize = unsafe { MaybeUninit::uninit().assume_init() }; 7 8 // edge case: For now we lint on empty arrays 9 let _: [u8; 0] = unsafe { MaybeUninit::uninit().assume_init() }; 10 11 // edge case: For now we accept unit tuples 12 let _: () = unsafe { MaybeUninit::uninit().assume_init() }; 13 14 // This is OK, because `MaybeUninit` allows uninitialized data. 15 let _: MaybeUninit<usize> = unsafe { MaybeUninit::uninit().assume_init() }; 16 17 // This is OK, because all constitutent types are uninit-compatible. 18 let _: (MaybeUninit<usize>, MaybeUninit<bool>) = unsafe { MaybeUninit::uninit().assume_init() }; 19 20 // This is OK, because all constitutent types are uninit-compatible. 21 let _: (MaybeUninit<usize>, [MaybeUninit<bool>; 2]) = unsafe { MaybeUninit::uninit().assume_init() }; 22 23 // Was a false negative. 24 let _: usize = unsafe { mem::MaybeUninit::uninit().assume_init() }; 25 } 26