#![feature(stmt_expr_attributes)] use std::mem::MaybeUninit; fn main() { let _: usize = unsafe { MaybeUninit::uninit().assume_init() }; // edge case: For now we lint on empty arrays let _: [u8; 0] = unsafe { MaybeUninit::uninit().assume_init() }; // edge case: For now we accept unit tuples let _: () = unsafe { MaybeUninit::uninit().assume_init() }; // This is OK, because `MaybeUninit` allows uninitialized data. let _: MaybeUninit<usize> = unsafe { MaybeUninit::uninit().assume_init() }; // This is OK, because all constitutent types are uninit-compatible. let _: (MaybeUninit<usize>, MaybeUninit<bool>) = unsafe { MaybeUninit::uninit().assume_init() }; // This is OK, because all constitutent types are uninit-compatible. let _: (MaybeUninit<usize>, [MaybeUninit<bool>; 2]) = unsafe { MaybeUninit::uninit().assume_init() }; }