src/tools/clippy/tests/ui/uninit.rs

   1 #![feature(stmt_expr_attributes)]
   2 #![allow(clippy::let_unit_value)]
   3
   4 use std::mem::{self, MaybeUninit};
   5
   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
  24     // Was a false negative.
  25     let _: usize = unsafe { mem::MaybeUninit::uninit().assume_init() };
  26 }