Still unable to get the tests working

Author: usbalbin

library/core/tests/lib.rs

@@ -11,6 +11,7 @@
 #![feature(cfg_target_has_atomic)]
 #![feature(const_assume)]
 #![feature(const_cell_into_inner)]
+#![feature(const_maybe_uninit_assume_init)]
 #![feature(core_intrinsics)]
 #![feature(core_private_bignum)]
 #![feature(core_private_diy_float)]
@@ -53,6 +54,7 @@
 #![feature(const_pin)]
 #![feature(const_slice_from_raw_parts)]
 #![feature(const_raw_ptr_deref)]
+#![feature(const_assert_type)]
 #![feature(never_type)]
 #![feature(unwrap_infallible)]
 #![feature(option_unwrap_none)]

library/core/tests/mem.rs

@@ -132,18 +132,17 @@ fn test_discriminant_send_sync() {
 
 #[test]
 fn assume_init_good() {
-    const TRUE: bool = unsafe {
-        let mut x = MaybeUninit::<bool>::uninit();
-        x.as_mut_ptr().write(true);
-        x.assume_init()
-    };
+    const TRUE: bool = unsafe { MaybeUninit::<bool>::new(true).assume_init() };
+
     assert!(TRUE);
 }
 
 #[test]
-#[should_panic]
 fn assume_init_bad() {
-    const BAD: () = unsafe {
+    const _BAD: () = unsafe {
         MaybeUninit::<!>::uninit().assume_init();
+        //~^ ERROR the type `!` does not permit being left uninitialized
+        //~| ERROR this code causes undefined behavior when executed
+        //~| ERROR help: use `MaybeUninit<T>` instead, and only call `assume_init` after initialization is done
     };
 }