[rustc.git] / src / tools / clippy / tests / ui / uninit.rs

#![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() };
}
Commit	Line	Data
f20569fa XL	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	}