tests/ui/uninit.rs

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