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