1 #![feature(stmt_expr_attributes)]
2 
3 use std::mem::{self, MaybeUninit};
4 
main()5 fn 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