feat(core)!: require Zeroable instead of ZeroInit in HunkDefiner::zeroed

Author: yvt

src/r3_core/CHANGELOG.md

@@ -7,6 +7,10 @@ and this project adheres to [Semantic Versioning](http://semver.org/spec/v2.0.0.
 
 ## [Unreleased]
 
+### Changed
+
+- **Breaking:** `HunkDefiner::zeroed` now requires `T: Zeroable` instead of `T: ZeroInit`.
+
 ### Added
 
 - `r3_core::utils::{Zeroable,ZeroableInOption}` (re-exported from `bytemuck ^1`)

src/r3_core/src/bind.rs

@@ -172,7 +172,9 @@ use crate::{
     closure::Closure,
     hunk::Hunk,
     kernel::{self, cfg, prelude::*, raw, raw_cfg, StartupHook},
-    utils::{refcell::RefCell, ComptimeVec, ConstAllocator, Init, PhantomInvariant, ZeroInit},
+    utils::{
+        refcell::RefCell, ComptimeVec, ConstAllocator, Init, PhantomInvariant, ZeroInit, Zeroable,
+    },
 };
 
 mod sorter;
@@ -213,8 +215,10 @@ impl<T> BindData<T> {
     }
 }
 
+// FIXME: Derive this when <https://github.com/Lokathor/bytemuck/pull/148> is
+//        merged
 // Safety: Zero-initialization is valid for `MaybeUninit`
-unsafe impl<T> ZeroInit for BindData<T> {}
+unsafe impl<T> Zeroable for BindData<T> {}
 
 // Main configuration interface
 // ----------------------------------------------------------------------------

src/r3_core/src/hunk.rs

@@ -9,7 +9,7 @@ use core::{
 
 use crate::{
     kernel::{self, cfg, hunk, raw, raw_cfg, Cfg, StartupHook},
-    utils::{Init, ZeroInit},
+    utils::{Init, Zeroable},
 };
 
 /// The priority of the [startup hooks] used to initialize [typed hunks]. It has
@@ -123,9 +123,9 @@ impl<System: raw::KernelBase + cfg::KernelStatic, T: ?Sized, InitTag>
     /// Zero-initialize the hunk.
     pub const fn zeroed(self) -> HunkDefiner<System, T, ZeroInitTag>
     where
-        T: ZeroInit,
+        T: Zeroable,
     {
-        // Safety: `T: ZeroInit`, so it's zero-initializable
+        // Safety: `T: Zeroable`, so it's zero-initializable
         unsafe { self.zeroed_unchecked() }
     }