Replace `ZeroInit` with `bytemuck::Zeroable` - Githubissues

r3-os / r3

R3-OS — Experimental static (μITRON-esque) RTOS for deeply embedded systems, testing the limit of Rust's compile-time evaluation and generics

Apache License 2.0

159 stars 8 forks source link

Replace `ZeroInit` with `bytemuck::Zeroable` #14

Closed yvt closed 1 year ago

yvt commented 1 year ago

r3_core::utils::ZeroInit should be replaced by bytemuck::Zeroable. The latter is derivable (which helps us remove some unsafe impls) and has a better Rust ecosystem compatibility.

Zeroable is missing the following implementations:

core::atomic::Atomic{Bool,{U,I}{8,16,32,64,size},Ptr<impl Sized>} (https://github.com/Lokathor/bytemuck/issues/74)
Option<fn(Args...) -> R>
Option<&[mut ]_>
UnsafeCell<impl Zeroable> (https://github.com/Lokathor/bytemuck/pull/148)
~~[impl Zeroable + Sized]~~ Zeroable requires Sized

yvt commented 1 year ago

Merged in b6de1c0466b44b4f5e3b5287d3490ec3043318ab