tests/ui/uninit.rs

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