Use inline const instead of unsafe to implement MaybeUninit::uninit_array().

kpreid · kpreid · commit ec8fa177190f · 2024-06-04T14:40:22.000-07:00
diff --git a/library/core/src/mem/maybe_uninit.rs b/library/core/src/mem/maybe_uninit.rs
@@ -342,8 +342,7 @@ impl<T> MaybeUninit<T> {
     #[must_use]
     #[inline(always)]
     pub const fn uninit_array<const N: usize>() -> [Self; N] {
-        // SAFETY: An uninitialized `[MaybeUninit<_>; LEN]` is valid.
-        unsafe { MaybeUninit::<[MaybeUninit<T>; N]>::uninit().assume_init() }
+        [const { MaybeUninit::uninit() }; N]
     }
 
     /// Creates a new `MaybeUninit<T>` in an uninitialized state, with the memory being

Original file line number	Diff line number	Diff line change
`@@ -342,8 +342,7 @@ impl<T> MaybeUninit<T> {`
`342`	`342`	`#[must_use]`
`343`	`343`	`#[inline(always)]`
`344`	`344`	`pub const fn uninit_array<const N: usize>() -> [Self; N] {`
`345`		- // SAFETY: An uninitialized `[MaybeUninit<_>; LEN]` is valid.
`346`		`- unsafe { MaybeUninit::<[MaybeUninit<T>; N]>::uninit().assume_init() }`
	`345`	`+ [const { MaybeUninit::uninit() }; N]`
`347`	`346`	`}`
`348`	`347`
`349`	`348`	/// Creates a new `MaybeUninit<T>` in an uninitialized state, with the memory being