Rust for Linux would like to manually implement certain traits, providing a manual justification of soundness. We can't support a manual unsafe impl because this locks us into a forwards-compatibility guarantee that we won't add non-defaulted items to the trait. Instead, we'll need to provide an unsafe-to-call macro, a #[derive(unsafe(zerocopy::...))], or some other form of indirection.
Rust for Linux would like to manually implement certain traits, providing a manual justification of soundness. We can't support a manual
unsafe implbecause this locks us into a forwards-compatibility guarantee that we won't add non-defaulted items to the trait. Instead, we'll need to provide an unsafe-to-call macro, a#[derive(unsafe(zerocopy::...))], or some other form of indirection.