Add test case for using `slice::fill` with MaybeUninit

1 files changed, 9 insertions, 0 deletions

diff --git a/library/core/tests/slice.rs b/library/core/tests/slice.rs
index 43e2af3eb18..a6c7794c150 100644
--- a/library/core/tests/slice.rs
+++ b/library/core/tests/slice.rs
@@ -2144,3 +2144,12 @@ fn test_slice_run_destructors() {
 
     assert_eq!(x.get(), 1);
 }
+
+#[test]
+fn test_slice_fill_with_uninit() {
+    // This should not UB. See #87891
+    use core::mem::MaybeUninit;
+
+    let mut a = [MaybeUninit::<u8>::uninit(); 10];
+    a.fill(MaybeUninit::uninit());
+}