Update library/core/src/intrinsics.rs

Author: celinval

library/core/src/intrinsics.rs

@@ -3609,12 +3609,7 @@ mod verify {
             let base = buf.as_mut_ptr() as *mut u8;
             base.wrapping_add(kani::any_where(|offset: &usize| *offset < 400)) as *mut char
         };
-        let mut buffer1 = [MaybeUninit::<char>::uninit(); 100];
-        for i in 0..100 {
-            if kani::any() {
-                buffer1[i] = MaybeUninit::new(kani::any());
-            }
-        }
+        let mut buffer1: [MaybeUninit::<char>; 100] = kani::any();
         let mut buffer2 = [MaybeUninit::<char>::uninit(); 100];
         let src = gen_any_ptr(&mut buffer1);
         let dst = if kani::any() { gen_any_ptr(&mut buffer2) } else { gen_any_ptr(&mut buffer1) };