Coverage Report

Created: 2025-12-05 07:37

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
/rust/registry/src/index.crates.io-1949cf8c6b5b557f/zerocopy-0.8.31/src/util/macros.rs
Line
Count
Source
1
// Copyright 2023 The Fuchsia Authors
2
//
3
// Licensed under a BSD-style license <LICENSE-BSD>, Apache License, Version 2.0
4
// <LICENSE-APACHE or https://www.apache.org/licenses/LICENSE-2.0>, or the MIT
5
// license <LICENSE-MIT or https://opensource.org/licenses/MIT>, at your option.
6
// This file may not be copied, modified, or distributed except according to
7
// those terms.
8
9
/// Unsafely implements trait(s) for a type.
10
///
11
/// # Safety
12
///
13
/// The trait impl must be sound.
14
///
15
/// When implementing `TryFromBytes`:
16
/// - If no `is_bit_valid` impl is provided, then it must be valid for
17
///   `is_bit_valid` to unconditionally return `true`. In other words, it must
18
///   be the case that any initialized sequence of bytes constitutes a valid
19
///   instance of `$ty`.
20
/// - If an `is_bit_valid` impl is provided, then the impl of `is_bit_valid`
21
///   must only return `true` if its argument refers to a valid `$ty`.
22
macro_rules! unsafe_impl {
23
    // Implement `$trait` for `$ty` with no bounds.
24
    ($(#[$attr:meta])* $ty:ty: $trait:ident $(; |$candidate:ident| $is_bit_valid:expr)?) => {{
25
        crate::util::macros::__unsafe();
26
27
        $(#[$attr])*
28
        // SAFETY: The caller promises that this is sound.
29
        unsafe impl $trait for $ty {
30
            unsafe_impl!(@method $trait $(; |$candidate| $is_bit_valid)?);
31
        }
32
    }};
33
34
    // Implement all `$traits` for `$ty` with no bounds.
35
    //
36
    // The 2 arms under this one are there so we can apply
37
    // N attributes for each one of M trait implementations.
38
    // The simple solution of:
39
    //
40
    // ($(#[$attrs:meta])* $ty:ty: $($traits:ident),*) => {
41
    //     $( unsafe_impl!( $(#[$attrs])* $ty: $traits ) );*
42
    // }
43
    //
44
    // Won't work. The macro processor sees that the outer repetition
45
    // contains both $attrs and $traits and expects them to match the same
46
    // amount of fragments.
47
    //
48
    // To solve this we must:
49
    // 1. Pack the attributes into a single token tree fragment we can match over.
50
    // 2. Expand the traits.
51
    // 3. Unpack and expand the attributes.
52
    ($(#[$attrs:meta])* $ty:ty: $($traits:ident),*) => {
53
        unsafe_impl!(@impl_traits_with_packed_attrs { $(#[$attrs])* } $ty: $($traits),*)
54
    };
55
56
    (@impl_traits_with_packed_attrs $attrs:tt $ty:ty: $($traits:ident),*) => {{
57
        $( unsafe_impl!(@unpack_attrs $attrs $ty: $traits); )*
58
    }};
59
60
    (@unpack_attrs { $(#[$attrs:meta])* } $ty:ty: $traits:ident) => {
61
        unsafe_impl!($(#[$attrs])* $ty: $traits);
62
    };
63
64
    // This arm is identical to the following one, except it contains a
65
    // preceding `const`. If we attempt to handle these with a single arm, there
66
    // is an inherent ambiguity between `const` (the keyword) and `const` (the
67
    // ident match for `$tyvar:ident`).
68
    //
69
    // To explain how this works, consider the following invocation:
70
    //
71
    //   unsafe_impl!(const N: usize, T: ?Sized + Copy => Clone for Foo<T>);
72
    //
73
    // In this invocation, here are the assignments to meta-variables:
74
    //
75
    //   |---------------|------------|
76
    //   | Meta-variable | Assignment |
77
    //   |---------------|------------|
78
    //   | $constname    |  N         |
79
    //   | $constty      |  usize     |
80
    //   | $tyvar        |  T         |
81
    //   | $optbound     |  Sized     |
82
    //   | $bound        |  Copy      |
83
    //   | $trait        |  Clone     |
84
    //   | $ty           |  Foo<T>    |
85
    //   |---------------|------------|
86
    //
87
    // The following arm has the same behavior with the exception of the lack of
88
    // support for a leading `const` parameter.
89
    (
90
        $(#[$attr:meta])*
91
        const $constname:ident : $constty:ident $(,)?
92
        $($tyvar:ident $(: $(? $optbound:ident $(+)?)* $($bound:ident $(+)?)* )?),*
93
        => $trait:ident for $ty:ty $(; |$candidate:ident| $is_bit_valid:expr)?
94
    ) => {
95
        unsafe_impl!(
96
            @inner
97
            $(#[$attr])*
98
            @const $constname: $constty,
99
            $($tyvar $(: $(? $optbound +)* + $($bound +)*)?,)*
100
            => $trait for $ty $(; |$candidate| $is_bit_valid)?
101
        );
102
    };
103
    (
104
        $(#[$attr:meta])*
105
        $($tyvar:ident $(: $(? $optbound:ident $(+)?)* $($bound:ident $(+)?)* )?),*
106
        => $trait:ident for $ty:ty $(; |$candidate:ident| $is_bit_valid:expr)?
107
    ) => {{
108
        unsafe_impl!(
109
            @inner
110
            $(#[$attr])*
111
            $($tyvar $(: $(? $optbound +)* + $($bound +)*)?,)*
112
            => $trait for $ty $(; |$candidate| $is_bit_valid)?
113
        );
114
    }};
115
    (
116
        @inner
117
        $(#[$attr:meta])*
118
        $(@const $constname:ident : $constty:ident,)*
119
        $($tyvar:ident $(: $(? $optbound:ident +)* + $($bound:ident +)* )?,)*
120
        => $trait:ident for $ty:ty $(; |$candidate:ident| $is_bit_valid:expr)?
121
    ) => {{
122
        crate::util::macros::__unsafe();
123
124
        $(#[$attr])*
125
        #[allow(non_local_definitions)]
126
        // SAFETY: The caller promises that this is sound.
127
        unsafe impl<$($tyvar $(: $(? $optbound +)* $($bound +)*)?),* $(, const $constname: $constty,)*> $trait for $ty {
128
            unsafe_impl!(@method $trait $(; |$candidate| $is_bit_valid)?);
129
        }
130
    }};
131
132
    (@method TryFromBytes ; |$candidate:ident| $is_bit_valid:expr) => {
133
        #[allow(clippy::missing_inline_in_public_items, dead_code)]
134
        #[cfg_attr(all(coverage_nightly, __ZEROCOPY_INTERNAL_USE_ONLY_NIGHTLY_FEATURES_IN_TESTS), coverage(off))]
135
0
        fn only_derive_is_allowed_to_implement_this_trait() {}
Unexecuted instantiation: <bool as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <char as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <str as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::num::nonzero::NonZero<u8> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::num::nonzero::NonZero<i8> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::num::nonzero::NonZero<u16> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::num::nonzero::NonZero<i16> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::num::nonzero::NonZero<u32> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::num::nonzero::NonZero<i32> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::num::nonzero::NonZero<u64> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::num::nonzero::NonZero<i64> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::num::nonzero::NonZero<u128> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::num::nonzero::NonZero<i128> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::num::nonzero::NonZero<usize> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::num::nonzero::NonZero<isize> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<&_> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<&mut _> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<extern "C" fn() -> _> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<extern "C" fn(_) -> _> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<extern "C" fn(_, _) -> _> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe extern "C" fn(_, _, _) -> _> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe extern "C" fn(_, _, _, _) -> _> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe extern "C" fn(_, _, _, _, _) -> _> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe extern "C" fn(_, _, _, _, _, _) -> _> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe extern "C" fn(_, _, _, _, _, _, _) -> _> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe extern "C" fn(_, _, _, _, _, _, _, _) -> _> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe extern "C" fn(_, _, _, _, _, _, _, _, _) -> _> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe extern "C" fn(_, _, _, _, _, _, _, _, _, _) -> _> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe extern "C" fn(_, _, _, _, _, _, _, _, _, _, _) -> _> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe extern "C" fn(_, _, _, _, _, _, _, _, _, _, _, _) -> _> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<extern "C" fn(_, _, _) -> _> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<extern "C" fn(_, _, _, _) -> _> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<extern "C" fn(_, _, _, _, _) -> _> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<extern "C" fn(_, _, _, _, _, _) -> _> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<extern "C" fn(_, _, _, _, _, _, _) -> _> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<extern "C" fn(_, _, _, _, _, _, _, _) -> _> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<extern "C" fn(_, _, _, _, _, _, _, _, _) -> _> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<extern "C" fn(_, _, _, _, _, _, _, _, _, _) -> _> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<extern "C" fn(_, _, _, _, _, _, _, _, _, _, _) -> _> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<extern "C" fn(_, _, _, _, _, _, _, _, _, _, _, _) -> _> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe extern "C" fn() -> _> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe extern "C" fn(_) -> _> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe extern "C" fn(_, _) -> _> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<core::ptr::non_null::NonNull<_>> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe fn() -> _> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe fn(_) -> _> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe fn(_, _) -> _> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe fn(_, _, _) -> _> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe fn(_, _, _, _) -> _> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe fn(_, _, _, _, _) -> _> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe fn(_, _, _, _, _, _) -> _> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe fn(_, _, _, _, _, _, _) -> _> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe fn(_, _, _, _, _, _, _, _) -> _> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe fn(_, _, _, _, _, _, _, _, _) -> _> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe fn(_, _, _, _, _, _, _, _, _, _) -> _> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe fn(_, _, _, _, _, _, _, _, _, _, _) -> _> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe fn(_, _, _, _, _, _, _, _, _, _, _, _) -> _> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<fn() -> _> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<fn(_) -> _> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<fn(_, _) -> _> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<fn(_, _, _) -> _> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<fn(_, _, _, _) -> _> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<fn(_, _, _, _, _) -> _> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<fn(_, _, _, _, _, _) -> _> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<fn(_, _, _, _, _, _, _) -> _> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<fn(_, _, _, _, _, _, _, _) -> _> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<fn(_, _, _, _, _, _, _, _, _) -> _> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<fn(_, _, _, _, _, _, _, _, _, _) -> _> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<fn(_, _, _, _, _, _, _, _, _, _, _) -> _> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<fn(_, _, _, _, _, _, _, _, _, _, _, _) -> _> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <[_] as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <[_; _] as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <*const _ as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <*mut _ as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
136
137
        #[inline]
138
0
        fn is_bit_valid<AA: crate::pointer::invariant::Reference>($candidate: Maybe<'_, Self, AA>) -> bool {
139
            $is_bit_valid
140
0
        }
Unexecuted instantiation: <core::option::Option<&_> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<&mut _> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<extern "C" fn() -> _> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<extern "C" fn(_) -> _> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<extern "C" fn(_, _) -> _> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<unsafe extern "C" fn(_, _, _) -> _> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<unsafe extern "C" fn(_, _, _, _) -> _> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<unsafe extern "C" fn(_, _, _, _, _) -> _> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<unsafe extern "C" fn(_, _, _, _, _, _) -> _> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<unsafe extern "C" fn(_, _, _, _, _, _, _) -> _> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<unsafe extern "C" fn(_, _, _, _, _, _, _, _) -> _> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<unsafe extern "C" fn(_, _, _, _, _, _, _, _, _) -> _> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<unsafe extern "C" fn(_, _, _, _, _, _, _, _, _, _) -> _> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<unsafe extern "C" fn(_, _, _, _, _, _, _, _, _, _, _) -> _> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<unsafe extern "C" fn(_, _, _, _, _, _, _, _, _, _, _, _) -> _> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<extern "C" fn(_, _, _) -> _> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<extern "C" fn(_, _, _, _) -> _> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<extern "C" fn(_, _, _, _, _) -> _> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<extern "C" fn(_, _, _, _, _, _) -> _> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<extern "C" fn(_, _, _, _, _, _, _) -> _> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<extern "C" fn(_, _, _, _, _, _, _, _) -> _> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<extern "C" fn(_, _, _, _, _, _, _, _, _) -> _> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<extern "C" fn(_, _, _, _, _, _, _, _, _, _) -> _> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<extern "C" fn(_, _, _, _, _, _, _, _, _, _, _) -> _> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<extern "C" fn(_, _, _, _, _, _, _, _, _, _, _, _) -> _> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<unsafe extern "C" fn() -> _> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<unsafe extern "C" fn(_) -> _> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<unsafe extern "C" fn(_, _) -> _> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<core::ptr::non_null::NonNull<_>> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<unsafe fn() -> _> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<unsafe fn(_) -> _> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<unsafe fn(_, _) -> _> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<unsafe fn(_, _, _) -> _> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<unsafe fn(_, _, _, _) -> _> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<unsafe fn(_, _, _, _, _) -> _> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<unsafe fn(_, _, _, _, _, _) -> _> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<unsafe fn(_, _, _, _, _, _, _) -> _> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<unsafe fn(_, _, _, _, _, _, _, _) -> _> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<unsafe fn(_, _, _, _, _, _, _, _, _) -> _> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<unsafe fn(_, _, _, _, _, _, _, _, _, _) -> _> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<unsafe fn(_, _, _, _, _, _, _, _, _, _, _) -> _> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<unsafe fn(_, _, _, _, _, _, _, _, _, _, _, _) -> _> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<fn() -> _> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<fn(_) -> _> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<fn(_, _) -> _> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<fn(_, _, _) -> _> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<fn(_, _, _, _) -> _> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<fn(_, _, _, _, _) -> _> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<fn(_, _, _, _, _, _) -> _> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<fn(_, _, _, _, _, _, _) -> _> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<fn(_, _, _, _, _, _, _, _) -> _> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<fn(_, _, _, _, _, _, _, _, _) -> _> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<fn(_, _, _, _, _, _, _, _, _, _) -> _> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<fn(_, _, _, _, _, _, _, _, _, _, _) -> _> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<fn(_, _, _, _, _, _, _, _, _, _, _, _) -> _> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <[_] as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <[_; _] as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <*const _ as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <*mut _ as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <bool as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <char as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <str as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::num::nonzero::NonZero<u8> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::num::nonzero::NonZero<i8> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::num::nonzero::NonZero<u16> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::num::nonzero::NonZero<i16> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::num::nonzero::NonZero<u32> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::num::nonzero::NonZero<i32> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::num::nonzero::NonZero<u64> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::num::nonzero::NonZero<i64> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::num::nonzero::NonZero<u128> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::num::nonzero::NonZero<i128> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::num::nonzero::NonZero<usize> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::num::nonzero::NonZero<isize> as zerocopy::TryFromBytes>::is_bit_valid::<_>
141
    };
142
    (@method TryFromBytes) => {
143
        #[allow(clippy::missing_inline_in_public_items)]
144
        #[cfg_attr(all(coverage_nightly, __ZEROCOPY_INTERNAL_USE_ONLY_NIGHTLY_FEATURES_IN_TESTS), coverage(off))]
145
0
        fn only_derive_is_allowed_to_implement_this_trait() {}
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<u8>> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <f64 as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<i8>> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m512 as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m128d as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <i8 as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<u16>> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m512d as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m128i as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<i128>> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <i64 as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<usize>> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <u128 as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<isize>> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <i128 as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <usize as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <isize as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <f32 as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <() as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <u8 as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m512bh as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m128 as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <u16 as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<i16>> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m512i as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m256 as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<u32>> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <i16 as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m256d as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<i32>> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <u32 as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<u64>> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m256i as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <i32 as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<i64>> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <u64 as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<u128>> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::marker::PhantomData<_> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::mem::maybe_uninit::MaybeUninit<_> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
146
0
        #[inline(always)] fn is_bit_valid<AA: crate::pointer::invariant::Reference>(_: Maybe<'_, Self, AA>) -> bool { true }
Unexecuted instantiation: <core::marker::PhantomData<_> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::mem::maybe_uninit::MaybeUninit<_> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<u8>> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <f64 as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<i8>> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::core_arch::x86::__m512 as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::core_arch::x86::__m128d as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <i8 as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<u16>> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::core_arch::x86::__m512d as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::core_arch::x86::__m128i as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<i128>> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <i64 as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<usize>> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <u128 as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<isize>> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <i128 as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <usize as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <isize as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <f32 as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <() as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <u8 as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::core_arch::x86::__m512bh as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::core_arch::x86::__m128 as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <u16 as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<i16>> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::core_arch::x86::__m512i as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::core_arch::x86::__m256 as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<u32>> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <i16 as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::core_arch::x86::__m256d as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<i32>> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <u32 as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<u64>> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::core_arch::x86::__m256i as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <i32 as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<i64>> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <u64 as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<u128>> as zerocopy::TryFromBytes>::is_bit_valid::<_>
147
    };
148
    (@method $trait:ident) => {
149
        #[allow(clippy::missing_inline_in_public_items, dead_code)]
150
        #[cfg_attr(all(coverage_nightly, __ZEROCOPY_INTERNAL_USE_ONLY_NIGHTLY_FEATURES_IN_TESTS), coverage(off))]
151
0
        fn only_derive_is_allowed_to_implement_this_trait() {}
Unexecuted instantiation: <() as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <bool as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <char as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <str as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::num::nonzero::NonZero<u8> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <u8 as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::sync::atomic::AtomicBool as zerocopy::Unaligned>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m512bh as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m128 as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <() as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <bool as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <char as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <str as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::num::nonzero::NonZero<u8> as zerocopy::Unaligned>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<u8>> as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <u8 as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::sync::atomic::AtomicI8 as zerocopy::Unaligned>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m512bh as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m128 as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <f32 as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <f32 as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <f32 as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <f64 as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <f64 as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <f64 as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <f64 as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <() as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <bool as zerocopy::Unaligned>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <str as zerocopy::Unaligned>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::num::nonzero::NonZero<i8> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<u8>> as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <u8 as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m512bh as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m128 as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <() as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::num::nonzero::NonZero<i8> as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<u8>> as zerocopy::Unaligned>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <u8 as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m512bh as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m128 as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <() as zerocopy::Unaligned>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::num::nonzero::NonZero<i8> as zerocopy::Unaligned>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <u8 as zerocopy::Unaligned>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m512 as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m128d as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::num::nonzero::NonZero<u16> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<i8>> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <i8 as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::num::nonzero::NonZero<u16> as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<i8>> as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m512 as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m128d as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::num::nonzero::NonZero<i16> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<i8>> as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <i8 as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m512 as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m128d as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::num::nonzero::NonZero<i16> as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<i8>> as zerocopy::Unaligned>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <i8 as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m512 as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m128d as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::num::nonzero::NonZero<u32> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <i8 as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m512d as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m128i as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::num::nonzero::NonZero<u32> as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<u16>> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <i8 as zerocopy::Unaligned>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<i128>> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <i64 as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<i128>> as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <i64 as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<i128>> as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <i64 as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <u128 as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<usize>> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<usize>> as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <u128 as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<usize>> as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <u128 as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <u128 as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<isize>> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <i128 as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<isize>> as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<isize>> as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <i128 as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <i128 as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <i128 as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <usize as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <usize as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <usize as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <usize as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <isize as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <isize as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <isize as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <isize as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <f32 as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <bool as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <char as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <str as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::num::nonzero::NonZero<u8> as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<u8>> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::sync::atomic::AtomicU8 as zerocopy::Unaligned>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::num::nonzero::NonZero<i32> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<u16>> as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <u16 as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m512d as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m128i as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::num::nonzero::NonZero<i32> as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<u16>> as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m512d as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m128i as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::num::nonzero::NonZero<u64> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <u16 as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m512d as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m128i as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::num::nonzero::NonZero<u64> as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<i16>> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <u16 as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m512i as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m256 as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::num::nonzero::NonZero<i64> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<i16>> as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <u16 as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::num::nonzero::NonZero<i64> as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<i16>> as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <i16 as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m512i as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m256 as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::num::nonzero::NonZero<u128> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m512i as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m256 as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::num::nonzero::NonZero<u128> as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<u32>> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <i16 as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m512i as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m256 as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::num::nonzero::NonZero<i128> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<u32>> as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <i16 as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m256d as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::num::nonzero::NonZero<i128> as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<u32>> as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <i16 as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::num::nonzero::NonZero<usize> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <u32 as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m256d as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::num::nonzero::NonZero<usize> as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<i32>> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m256d as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::num::nonzero::NonZero<isize> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<i32>> as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <u32 as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m256d as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::num::nonzero::NonZero<isize> as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<i32>> as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <u32 as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m256i as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <u32 as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<u64>> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <i32 as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m256i as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<u64>> as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m256i as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<u64>> as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <i32 as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m256i as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <i32 as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<i64>> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <i32 as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<i64>> as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <u64 as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<i64>> as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <u64 as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<u128>> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <u64 as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<u128>> as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <u64 as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<core::num::nonzero::NonZero<u128>> as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <i64 as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<extern "C" fn(_, _, _, _, _, _) -> _> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<extern "C" fn(_, _, _, _, _, _, _) -> _> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<extern "C" fn(_, _, _, _, _, _, _, _) -> _> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<extern "C" fn(_, _, _, _, _, _, _, _, _) -> _> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<extern "C" fn(_, _, _, _, _, _, _, _, _, _) -> _> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<extern "C" fn(_, _, _, _, _, _, _, _, _, _, _) -> _> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<extern "C" fn(_, _, _, _, _, _, _, _, _, _, _, _) -> _> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<&mut _> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe extern "C" fn() -> _> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe extern "C" fn(_) -> _> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe extern "C" fn(_, _) -> _> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe extern "C" fn(_, _, _) -> _> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe extern "C" fn(_, _, _, _) -> _> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe extern "C" fn(_, _, _, _, _) -> _> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe extern "C" fn(_, _, _, _, _, _) -> _> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe extern "C" fn(_, _, _, _, _, _, _) -> _> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe extern "C" fn(_, _, _, _, _, _, _, _) -> _> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe extern "C" fn(_, _, _, _, _, _, _, _, _) -> _> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe extern "C" fn(_, _, _, _, _, _, _, _, _, _) -> _> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe extern "C" fn(_, _, _, _, _, _, _, _, _, _, _) -> _> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe extern "C" fn(_, _, _, _, _, _, _, _, _, _, _, _) -> _> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<core::ptr::non_null::NonNull<_>> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<fn() -> _> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<fn(_) -> _> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<fn(_, _) -> _> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<fn(_, _, _) -> _> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<fn(_, _, _, _) -> _> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<fn(_, _, _, _, _) -> _> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe fn(_, _, _, _, _, _) -> _> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe fn(_, _, _, _, _, _, _) -> _> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe fn(_, _, _, _, _, _, _, _) -> _> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe fn(_, _, _, _, _, _, _, _, _) -> _> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe fn(_, _, _, _, _, _, _, _, _, _) -> _> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe fn(_, _, _, _, _, _, _, _, _, _, _) -> _> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe fn(_, _, _, _, _, _, _, _, _, _, _, _) -> _> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<extern "C" fn() -> _> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<extern "C" fn(_) -> _> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<extern "C" fn(_, _) -> _> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<extern "C" fn(_, _, _) -> _> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<extern "C" fn(_, _, _, _) -> _> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<extern "C" fn(_, _, _, _, _) -> _> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<&_> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<fn(_, _, _, _, _, _) -> _> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<fn(_, _, _, _, _, _, _) -> _> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<fn(_, _, _, _, _, _, _, _) -> _> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<fn(_, _, _, _, _, _, _, _, _) -> _> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<fn(_, _, _, _, _, _, _, _, _, _) -> _> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<fn(_, _, _, _, _, _, _, _, _, _, _) -> _> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<fn(_, _, _, _, _, _, _, _, _, _, _, _) -> _> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe fn() -> _> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe fn(_) -> _> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe fn(_, _) -> _> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe fn(_, _, _) -> _> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe fn(_, _, _, _) -> _> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe fn(_, _, _, _, _) -> _> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<fn() -> _> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<fn(_, _) -> _> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<fn(_, _, _) -> _> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<fn(_, _, _, _) -> _> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<fn(_, _, _, _, _) -> _> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<fn(_, _, _, _, _, _) -> _> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<fn(_, _, _, _, _, _, _) -> _> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<fn(_, _, _, _, _, _, _, _) -> _> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<fn(_, _, _, _, _, _, _, _, _) -> _> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<fn(_, _, _, _, _, _, _, _, _, _) -> _> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<fn(_, _, _, _, _, _, _, _, _, _, _) -> _> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<extern "C" fn(_, _, _, _, _, _, _, _, _, _, _, _) -> _> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe extern "C" fn() -> _> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe extern "C" fn(_) -> _> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe extern "C" fn(_, _) -> _> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe extern "C" fn(_, _, _) -> _> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe extern "C" fn(_, _, _, _) -> _> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe extern "C" fn(_, _, _, _, _) -> _> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe extern "C" fn(_, _, _, _, _, _) -> _> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe extern "C" fn(_, _, _, _, _, _, _) -> _> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe extern "C" fn(_, _, _, _, _, _, _, _) -> _> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe extern "C" fn(_, _, _, _, _, _, _, _, _) -> _> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe extern "C" fn(_, _, _, _, _, _, _, _, _, _) -> _> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe extern "C" fn(_, _, _, _, _, _, _, _, _, _, _) -> _> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe extern "C" fn(_, _, _, _, _, _, _, _, _, _, _, _) -> _> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<fn(_) -> _> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<fn(_, _, _, _, _, _, _, _, _, _, _, _) -> _> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe fn() -> _> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe fn(_) -> _> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe fn(_, _) -> _> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe fn(_, _, _) -> _> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe fn(_, _, _, _) -> _> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe fn(_, _, _, _, _) -> _> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe fn(_, _, _, _, _, _) -> _> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe fn(_, _, _, _, _, _, _) -> _> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe fn(_, _, _, _, _, _, _, _) -> _> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe fn(_, _, _, _, _, _, _, _, _) -> _> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe fn(_, _, _, _, _, _, _, _, _, _) -> _> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe fn(_, _, _, _, _, _, _, _, _, _, _) -> _> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<unsafe fn(_, _, _, _, _, _, _, _, _, _, _, _) -> _> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<extern "C" fn() -> _> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<extern "C" fn(_) -> _> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<extern "C" fn(_, _) -> _> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<extern "C" fn(_, _, _) -> _> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<extern "C" fn(_, _, _, _) -> _> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<extern "C" fn(_, _, _, _, _) -> _> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<extern "C" fn(_, _, _, _, _, _) -> _> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<extern "C" fn(_, _, _, _, _, _, _) -> _> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<extern "C" fn(_, _, _, _, _, _, _, _) -> _> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<extern "C" fn(_, _, _, _, _, _, _, _, _) -> _> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<extern "C" fn(_, _, _, _, _, _, _, _, _, _) -> _> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<extern "C" fn(_, _, _, _, _, _, _, _, _, _, _) -> _> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::marker::PhantomData<_> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::marker::PhantomData<_> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::marker::PhantomData<_> as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::marker::PhantomData<_> as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::marker::PhantomData<_> as zerocopy::Unaligned>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::num::wrapping::Wrapping<_> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::num::wrapping::Wrapping<_> as zerocopy::Unaligned>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::mem::maybe_uninit::MaybeUninit<_> as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::mem::maybe_uninit::MaybeUninit<_> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::mem::maybe_uninit::MaybeUninit<_> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::mem::maybe_uninit::MaybeUninit<_> as zerocopy::Unaligned>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::mem::manually_drop::ManuallyDrop<_> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::mem::manually_drop::ManuallyDrop<_> as zerocopy::Unaligned>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::cell::Cell<_> as zerocopy::Unaligned>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::cell::UnsafeCell<_> as zerocopy::Unaligned>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <[_; _] as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <[_; _] as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <[_; _] as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <[_; _] as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <[_; _] as zerocopy::Unaligned>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <[_] as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <[_] as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <[_] as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <[_] as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <[_] as zerocopy::Unaligned>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <*const _ as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <*const _ as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <*mut _ as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <*mut _ as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::ptr::non_null::NonNull<_> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <&_ as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <&mut _ as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<_> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::S<_> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::D<_> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::S<_> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::D<_> as zerocopy::Immutable>::only_derive_is_allowed_to_implement_this_trait
152
    };
153
    (@method $trait:ident; |$_candidate:ident| $_is_bit_valid:expr) => {
154
        compile_error!("Can't provide `is_bit_valid` impl for trait other than `TryFromBytes`");
155
    };
156
}
157
158
/// Implements `$trait` for `$ty` where `$ty: TransmuteFrom<$repr>` (and
159
/// vice-versa).
160
///
161
/// Calling this macro is safe; the internals of the macro emit appropriate
162
/// trait bounds which ensure that the given impl is sound.
163
macro_rules! impl_for_transmute_from {
164
    (
165
        $(#[$attr:meta])*
166
        $($tyvar:ident $(: $(? $optbound:ident $(+)?)* $($bound:ident $(+)?)* )?)?
167
        => $trait:ident for $ty:ty [$($unsafe_cell:ident)? <$repr:ty>]
168
    ) => {
169
        const _: () = {
170
            $(#[$attr])*
171
            #[allow(non_local_definitions)]
172
173
            // SAFETY: `is_trait<T, R>` (defined and used below) requires `T:
174
            // TransmuteFrom<R>`, `R: TransmuteFrom<T>`, and `R: $trait`. It is
175
            // called using `$ty` and `$repr`, ensuring that `$ty` and `$repr`
176
            // have equivalent bit validity, and ensuring that `$repr: $trait`.
177
            // The supported traits - `TryFromBytes`, `FromZeros`, `FromBytes`,
178
            // and `IntoBytes` - are defined only in terms of the bit validity
179
            // of a type. Therefore, `$repr: $trait` ensures that `$ty: $trait`
180
            // is sound.
181
            unsafe impl<$($tyvar $(: $(? $optbound +)* $($bound +)*)?)?> $trait for $ty {
182
                #[allow(dead_code, clippy::missing_inline_in_public_items)]
183
                #[cfg_attr(all(coverage_nightly, __ZEROCOPY_INTERNAL_USE_ONLY_NIGHTLY_FEATURES_IN_TESTS), coverage(off))]
184
0
                fn only_derive_is_allowed_to_implement_this_trait() {
185
                    use crate::pointer::{*, invariant::Valid};
186
187
                    impl_for_transmute_from!(@assert_is_supported_trait $trait);
188
189
0
                    fn is_trait<T, R>()
190
0
                    where
191
0
                        T: TransmuteFrom<R, Valid, Valid> + ?Sized,
192
0
                        R: TransmuteFrom<T, Valid, Valid> + ?Sized,
193
0
                        R: $trait,
194
                    {
195
0
                    }
Unexecuted instantiation: <core::cell::Cell<_> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <core::cell::Cell<_> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <core::cell::Cell<_> as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <core::cell::Cell<_> as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <core::cell::UnsafeCell<_> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <core::cell::UnsafeCell<_> as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <core::cell::UnsafeCell<_> as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <core::num::wrapping::Wrapping<_> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <core::num::wrapping::Wrapping<_> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <core::num::wrapping::Wrapping<_> as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <core::num::wrapping::Wrapping<_> as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <core::mem::manually_drop::ManuallyDrop<_> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <core::mem::manually_drop::ManuallyDrop<_> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <core::mem::manually_drop::ManuallyDrop<_> as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <core::mem::manually_drop::ManuallyDrop<_> as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <core::sync::atomic::AtomicUsize as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <core::sync::atomic::AtomicUsize as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <core::sync::atomic::AtomicUsize as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <core::sync::atomic::AtomicUsize as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <core::sync::atomic::AtomicIsize as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <core::sync::atomic::AtomicIsize as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <core::sync::atomic::AtomicIsize as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <core::sync::atomic::AtomicIsize as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <core::sync::atomic::AtomicPtr<_> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <core::sync::atomic::AtomicPtr<_> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <core::sync::atomic::AtomicU8 as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <core::sync::atomic::AtomicU8 as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <core::sync::atomic::AtomicU8 as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <core::sync::atomic::AtomicU8 as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <core::sync::atomic::AtomicI8 as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <core::sync::atomic::AtomicI8 as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <core::sync::atomic::AtomicI8 as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <core::sync::atomic::AtomicI8 as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <core::sync::atomic::AtomicBool as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <core::sync::atomic::AtomicBool as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <core::sync::atomic::AtomicBool as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <core::sync::atomic::AtomicU16 as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <core::sync::atomic::AtomicU16 as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <core::sync::atomic::AtomicU16 as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <core::sync::atomic::AtomicU16 as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <core::sync::atomic::AtomicI16 as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <core::sync::atomic::AtomicI16 as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <core::sync::atomic::AtomicI16 as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <core::sync::atomic::AtomicI16 as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <core::sync::atomic::AtomicU32 as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <core::sync::atomic::AtomicU32 as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <core::sync::atomic::AtomicU32 as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <core::sync::atomic::AtomicU32 as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <core::sync::atomic::AtomicI32 as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <core::sync::atomic::AtomicI32 as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <core::sync::atomic::AtomicI32 as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <core::sync::atomic::AtomicI32 as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <core::sync::atomic::AtomicU64 as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <core::sync::atomic::AtomicU64 as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <core::sync::atomic::AtomicU64 as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <core::sync::atomic::AtomicU64 as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <core::sync::atomic::AtomicI64 as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <core::sync::atomic::AtomicI64 as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <core::sync::atomic::AtomicI64 as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <core::sync::atomic::AtomicI64 as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::S<_> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::S<_> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::S<_> as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::D<_> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::D<_> as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::D<_> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::D<_> as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::S<_> as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::S<_> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::S<_> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::S<_> as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::D<_> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::D<_> as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::D<_> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::D<_> as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::S<_> as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait::is_trait::<_, _>
196
197
                    #[cfg_attr(all(coverage_nightly, __ZEROCOPY_INTERNAL_USE_ONLY_NIGHTLY_FEATURES_IN_TESTS), coverage(off))]
198
0
                    fn f<$($tyvar $(: $(? $optbound +)* $($bound +)*)?)?>() {
199
0
                        is_trait::<$ty, $repr>();
200
0
                    }
Unexecuted instantiation: <core::cell::Cell<_> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait::f::<_>
Unexecuted instantiation: <core::cell::Cell<_> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait::f::<_>
Unexecuted instantiation: <core::cell::Cell<_> as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait::f::<_>
Unexecuted instantiation: <core::cell::Cell<_> as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait::f::<_>
Unexecuted instantiation: <core::cell::UnsafeCell<_> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait::f::<_>
Unexecuted instantiation: <core::cell::UnsafeCell<_> as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait::f::<_>
Unexecuted instantiation: <core::cell::UnsafeCell<_> as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait::f::<_>
Unexecuted instantiation: <core::num::wrapping::Wrapping<_> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait::f::<_>
Unexecuted instantiation: <core::num::wrapping::Wrapping<_> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait::f::<_>
Unexecuted instantiation: <core::num::wrapping::Wrapping<_> as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait::f::<_>
Unexecuted instantiation: <core::num::wrapping::Wrapping<_> as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait::f::<_>
Unexecuted instantiation: <core::mem::manually_drop::ManuallyDrop<_> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait::f::<_>
Unexecuted instantiation: <core::mem::manually_drop::ManuallyDrop<_> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait::f::<_>
Unexecuted instantiation: <core::mem::manually_drop::ManuallyDrop<_> as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait::f::<_>
Unexecuted instantiation: <core::mem::manually_drop::ManuallyDrop<_> as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait::f::<_>
Unexecuted instantiation: <core::sync::atomic::AtomicPtr<_> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait::f::<_>
Unexecuted instantiation: <core::sync::atomic::AtomicPtr<_> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait::f::<_>
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::S<_> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait::f::<_>
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::S<_> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait::f::<_>
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::S<_> as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait::f::<_>
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::D<_> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait::f::<_>
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::D<_> as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait::f::<_>
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::D<_> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait::f::<_>
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::D<_> as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait::f::<_>
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::S<_> as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait::f::<_>
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::S<_> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait::f::<_>
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::S<_> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait::f::<_>
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::S<_> as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait::f::<_>
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::D<_> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait::f::<_>
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::D<_> as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait::f::<_>
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::D<_> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait::f::<_>
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::D<_> as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait::f::<_>
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::S<_> as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait::f::<_>
Unexecuted instantiation: <core::sync::atomic::AtomicUsize as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait::f
Unexecuted instantiation: <core::sync::atomic::AtomicUsize as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait::f
Unexecuted instantiation: <core::sync::atomic::AtomicUsize as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait::f
Unexecuted instantiation: <core::sync::atomic::AtomicUsize as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait::f
Unexecuted instantiation: <core::sync::atomic::AtomicIsize as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait::f
Unexecuted instantiation: <core::sync::atomic::AtomicIsize as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait::f
Unexecuted instantiation: <core::sync::atomic::AtomicIsize as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait::f
Unexecuted instantiation: <core::sync::atomic::AtomicIsize as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait::f
Unexecuted instantiation: <core::sync::atomic::AtomicU8 as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait::f
Unexecuted instantiation: <core::sync::atomic::AtomicU8 as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait::f
Unexecuted instantiation: <core::sync::atomic::AtomicU8 as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait::f
Unexecuted instantiation: <core::sync::atomic::AtomicU8 as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait::f
Unexecuted instantiation: <core::sync::atomic::AtomicI8 as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait::f
Unexecuted instantiation: <core::sync::atomic::AtomicI8 as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait::f
Unexecuted instantiation: <core::sync::atomic::AtomicI8 as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait::f
Unexecuted instantiation: <core::sync::atomic::AtomicI8 as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait::f
Unexecuted instantiation: <core::sync::atomic::AtomicBool as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait::f
Unexecuted instantiation: <core::sync::atomic::AtomicBool as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait::f
Unexecuted instantiation: <core::sync::atomic::AtomicBool as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait::f
Unexecuted instantiation: <core::sync::atomic::AtomicU16 as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait::f
Unexecuted instantiation: <core::sync::atomic::AtomicU16 as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait::f
Unexecuted instantiation: <core::sync::atomic::AtomicU16 as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait::f
Unexecuted instantiation: <core::sync::atomic::AtomicU16 as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait::f
Unexecuted instantiation: <core::sync::atomic::AtomicI16 as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait::f
Unexecuted instantiation: <core::sync::atomic::AtomicI16 as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait::f
Unexecuted instantiation: <core::sync::atomic::AtomicI16 as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait::f
Unexecuted instantiation: <core::sync::atomic::AtomicI16 as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait::f
Unexecuted instantiation: <core::sync::atomic::AtomicU32 as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait::f
Unexecuted instantiation: <core::sync::atomic::AtomicU32 as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait::f
Unexecuted instantiation: <core::sync::atomic::AtomicU32 as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait::f
Unexecuted instantiation: <core::sync::atomic::AtomicU32 as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait::f
Unexecuted instantiation: <core::sync::atomic::AtomicI32 as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait::f
Unexecuted instantiation: <core::sync::atomic::AtomicI32 as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait::f
Unexecuted instantiation: <core::sync::atomic::AtomicI32 as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait::f
Unexecuted instantiation: <core::sync::atomic::AtomicI32 as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait::f
Unexecuted instantiation: <core::sync::atomic::AtomicU64 as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait::f
Unexecuted instantiation: <core::sync::atomic::AtomicU64 as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait::f
Unexecuted instantiation: <core::sync::atomic::AtomicU64 as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait::f
Unexecuted instantiation: <core::sync::atomic::AtomicU64 as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait::f
Unexecuted instantiation: <core::sync::atomic::AtomicI64 as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait::f
Unexecuted instantiation: <core::sync::atomic::AtomicI64 as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait::f
Unexecuted instantiation: <core::sync::atomic::AtomicI64 as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait::f
Unexecuted instantiation: <core::sync::atomic::AtomicI64 as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait::f
201
0
                }
Unexecuted instantiation: <core::sync::atomic::AtomicUsize as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::sync::atomic::AtomicUsize as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::sync::atomic::AtomicUsize as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::sync::atomic::AtomicUsize as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::sync::atomic::AtomicIsize as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::sync::atomic::AtomicIsize as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::sync::atomic::AtomicIsize as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::sync::atomic::AtomicIsize as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::sync::atomic::AtomicU8 as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::sync::atomic::AtomicU8 as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::sync::atomic::AtomicU8 as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::sync::atomic::AtomicU8 as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::sync::atomic::AtomicI8 as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::sync::atomic::AtomicI8 as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::sync::atomic::AtomicI8 as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::sync::atomic::AtomicI8 as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::sync::atomic::AtomicBool as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::sync::atomic::AtomicBool as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::sync::atomic::AtomicBool as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::sync::atomic::AtomicU16 as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::sync::atomic::AtomicU16 as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::sync::atomic::AtomicU16 as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::sync::atomic::AtomicU16 as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::sync::atomic::AtomicI16 as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::sync::atomic::AtomicI16 as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::sync::atomic::AtomicI16 as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::sync::atomic::AtomicI16 as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::sync::atomic::AtomicU32 as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::sync::atomic::AtomicU32 as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::sync::atomic::AtomicU32 as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::sync::atomic::AtomicU32 as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::sync::atomic::AtomicI32 as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::sync::atomic::AtomicI32 as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::sync::atomic::AtomicI32 as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::sync::atomic::AtomicI32 as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::sync::atomic::AtomicU64 as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::sync::atomic::AtomicU64 as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::sync::atomic::AtomicU64 as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::sync::atomic::AtomicU64 as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::sync::atomic::AtomicI64 as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::sync::atomic::AtomicI64 as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::sync::atomic::AtomicI64 as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::sync::atomic::AtomicI64 as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::cell::Cell<_> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::cell::Cell<_> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::cell::Cell<_> as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::cell::Cell<_> as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::cell::UnsafeCell<_> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::cell::UnsafeCell<_> as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::cell::UnsafeCell<_> as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::num::wrapping::Wrapping<_> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::num::wrapping::Wrapping<_> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::num::wrapping::Wrapping<_> as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::num::wrapping::Wrapping<_> as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::mem::manually_drop::ManuallyDrop<_> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::mem::manually_drop::ManuallyDrop<_> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::mem::manually_drop::ManuallyDrop<_> as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::mem::manually_drop::ManuallyDrop<_> as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::sync::atomic::AtomicPtr<_> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::sync::atomic::AtomicPtr<_> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::S<_> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::S<_> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::S<_> as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::D<_> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::D<_> as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::D<_> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::D<_> as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::S<_> as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::S<_> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::S<_> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::S<_> as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::D<_> as zerocopy::TryFromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::D<_> as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::D<_> as zerocopy::FromZeros>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::D<_> as zerocopy::IntoBytes>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::S<_> as zerocopy::FromBytes>::only_derive_is_allowed_to_implement_this_trait
202
203
                impl_for_transmute_from!(
204
                    @is_bit_valid
205
                    $(<$tyvar $(: $(? $optbound +)* $($bound +)*)?>)?
206
                    $trait for $ty [$($unsafe_cell)? <$repr>]
207
                );
208
            }
209
        };
210
    };
211
    (@assert_is_supported_trait TryFromBytes) => {};
212
    (@assert_is_supported_trait FromZeros) => {};
213
    (@assert_is_supported_trait FromBytes) => {};
214
    (@assert_is_supported_trait IntoBytes) => {};
215
    (
216
        @is_bit_valid
217
        $(<$tyvar:ident $(: $(? $optbound:ident $(+)?)* $($bound:ident $(+)?)* )?>)?
218
        TryFromBytes for $ty:ty [UnsafeCell<$repr:ty>]
219
    ) => {
220
        #[inline]
221
0
        fn is_bit_valid<A: crate::pointer::invariant::Reference>(candidate: Maybe<'_, Self, A>) -> bool {
222
0
            let c: Maybe<'_, Self, crate::pointer::invariant::Exclusive> = candidate.into_exclusive_or_pme();
223
0
            let c: Maybe<'_, $repr, _> = c.transmute::<_, _, (_, (_, (BecauseExclusive, BecauseExclusive)))>();
224
            // SAFETY: This macro ensures that `$repr` and `Self` have the same
225
            // size and bit validity. Thus, a bit-valid instance of `$repr` is
226
            // also a bit-valid instance of `Self`.
227
0
            <$repr as TryFromBytes>::is_bit_valid(c)
228
0
        }
Unexecuted instantiation: <core::cell::Cell<_> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::sync::atomic::AtomicPtr<_> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::sync::atomic::AtomicUsize as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::sync::atomic::AtomicIsize as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::sync::atomic::AtomicU8 as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::sync::atomic::AtomicI8 as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::sync::atomic::AtomicBool as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::sync::atomic::AtomicU16 as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::sync::atomic::AtomicI16 as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::sync::atomic::AtomicU32 as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::sync::atomic::AtomicI32 as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::sync::atomic::AtomicU64 as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::sync::atomic::AtomicI64 as zerocopy::TryFromBytes>::is_bit_valid::<_>
229
    };
230
    (
231
        @is_bit_valid
232
        $(<$tyvar:ident $(: $(? $optbound:ident $(+)?)* $($bound:ident $(+)?)* )?>)?
233
        TryFromBytes for $ty:ty [<$repr:ty>]
234
    ) => {
235
        #[inline]
236
0
        fn is_bit_valid<A: crate::pointer::invariant::Reference>(candidate: $crate::Maybe<'_, Self, A>) -> bool {
237
            // SAFETY: This macro ensures that `$repr` and `Self` have the same
238
            // size and bit validity. Thus, a bit-valid instance of `$repr` is
239
            // also a bit-valid instance of `Self`.
240
0
            <$repr as TryFromBytes>::is_bit_valid(candidate.transmute())
241
0
        }
Unexecuted instantiation: <core::num::wrapping::Wrapping<_> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <core::mem::manually_drop::ManuallyDrop<_> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::S<_> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::D<_> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::S<_> as zerocopy::TryFromBytes>::is_bit_valid::<_>
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::D<_> as zerocopy::TryFromBytes>::is_bit_valid::<_>
242
    };
243
    (
244
        @is_bit_valid
245
        $(<$tyvar:ident $(: $(? $optbound:ident $(+)?)* $($bound:ident $(+)?)* )?>)?
246
        $trait:ident for $ty:ty [$($unsafe_cell:ident)? <$repr:ty>]
247
    ) => {
248
        // Trait other than `TryFromBytes`; no `is_bit_valid` impl.
249
    };
250
}
251
252
/// Implements a trait for a type, bounding on each member of the power set of
253
/// a set of type variables. This is useful for implementing traits for tuples
254
/// or `fn` types.
255
///
256
/// The last argument is the name of a macro which will be called in every
257
/// `impl` block, and is expected to expand to the name of the type for which to
258
/// implement the trait.
259
///
260
/// For example, the invocation:
261
/// ```ignore
262
/// unsafe_impl_for_power_set!(A, B => Foo for type!(...))
263
/// ```
264
/// ...expands to:
265
/// ```ignore
266
/// unsafe impl       Foo for type!()     { ... }
267
/// unsafe impl<B>    Foo for type!(B)    { ... }
268
/// unsafe impl<A, B> Foo for type!(A, B) { ... }
269
/// ```
270
macro_rules! unsafe_impl_for_power_set {
271
    (
272
        $first:ident $(, $rest:ident)* $(-> $ret:ident)? => $trait:ident for $macro:ident!(...)
273
        $(; |$candidate:ident| $is_bit_valid:expr)?
274
    ) => {
275
        unsafe_impl_for_power_set!(
276
            $($rest),* $(-> $ret)? => $trait for $macro!(...)
277
            $(; |$candidate| $is_bit_valid)?
278
        );
279
        unsafe_impl_for_power_set!(
280
            @impl $first $(, $rest)* $(-> $ret)? => $trait for $macro!(...)
281
            $(; |$candidate| $is_bit_valid)?
282
        );
283
    };
284
    (
285
        $(-> $ret:ident)? => $trait:ident for $macro:ident!(...)
286
        $(; |$candidate:ident| $is_bit_valid:expr)?
287
    ) => {
288
        unsafe_impl_for_power_set!(
289
            @impl $(-> $ret)? => $trait for $macro!(...)
290
            $(; |$candidate| $is_bit_valid)?
291
        );
292
    };
293
    (
294
        @impl $($vars:ident),* $(-> $ret:ident)? => $trait:ident for $macro:ident!(...)
295
        $(; |$candidate:ident| $is_bit_valid:expr)?
296
    ) => {
297
        unsafe_impl!(
298
            $($vars,)* $($ret)? => $trait for $macro!($($vars),* $(-> $ret)?)
299
            $(; |$candidate| $is_bit_valid)?
300
        );
301
    };
302
}
303
304
/// Expands to an `Option<extern "C" fn>` type with the given argument types and
305
/// return type. Designed for use with `unsafe_impl_for_power_set`.
306
macro_rules! opt_extern_c_fn {
307
    ($($args:ident),* -> $ret:ident) => { Option<extern "C" fn($($args),*) -> $ret> };
308
}
309
310
/// Expands to an `Option<unsafe extern "C" fn>` type with the given argument
311
/// types and return type. Designed for use with `unsafe_impl_for_power_set`.
312
macro_rules! opt_unsafe_extern_c_fn {
313
    ($($args:ident),* -> $ret:ident) => { Option<unsafe extern "C" fn($($args),*) -> $ret> };
314
}
315
316
/// Expands to an `Option<fn>` type with the given argument types and return
317
/// type. Designed for use with `unsafe_impl_for_power_set`.
318
macro_rules! opt_fn {
319
    ($($args:ident),* -> $ret:ident) => { Option<fn($($args),*) -> $ret> };
320
}
321
322
/// Expands to an `Option<unsafe fn>` type with the given argument types and
323
/// return type. Designed for use with `unsafe_impl_for_power_set`.
324
macro_rules! opt_unsafe_fn {
325
    ($($args:ident),* -> $ret:ident) => { Option<unsafe fn($($args),*) -> $ret> };
326
}
327
328
/// Implements trait(s) for a type or verifies the given implementation by
329
/// referencing an existing (derived) implementation.
330
///
331
/// This macro exists so that we can provide zerocopy-derive as an optional
332
/// dependency and still get the benefit of using its derives to validate that
333
/// our trait impls are sound.
334
///
335
/// When compiling without `--cfg 'feature = "derive"` and without `--cfg test`,
336
/// `impl_or_verify!` emits the provided trait impl. When compiling with either
337
/// of those cfgs, it is expected that the type in question is deriving the
338
/// traits instead. In this case, `impl_or_verify!` emits code which validates
339
/// that the given trait impl is at least as restrictive as the the impl emitted
340
/// by the custom derive. This has the effect of confirming that the impl which
341
/// is emitted when the `derive` feature is disabled is actually sound (on the
342
/// assumption that the impl emitted by the custom derive is sound).
343
///
344
/// The caller is still required to provide a safety comment (e.g. using the
345
/// `const _: () = unsafe` macro). The reason for this restriction is that,
346
/// while `impl_or_verify!` can guarantee that the provided impl is sound when
347
/// it is compiled with the appropriate cfgs, there is no way to guarantee that
348
/// it is
349
/// ever compiled with those cfgs. In particular, it would be possible to
350
/// accidentally place an `impl_or_verify!` call in a context that is only ever
351
/// compiled when the `derive` feature is disabled. If that were to happen,
352
/// there would be nothing to prevent an unsound trait impl from being emitted.
353
/// Requiring a safety comment reduces the likelihood of emitting an unsound
354
/// impl in this case, and also provides useful documentation for readers of the
355
/// code.
356
///
357
/// Finally, if a `TryFromBytes::is_bit_valid` impl is provided, it must adhere
358
/// to the safety preconditions of [`unsafe_impl!`].
359
///
360
/// ## Example
361
///
362
/// ```rust,ignore
363
/// // Note that these derives are gated by `feature = "derive"`
364
/// #[cfg_attr(any(feature = "derive", test), derive(FromZeros, FromBytes, IntoBytes, Unaligned))]
365
/// #[repr(transparent)]
366
/// struct Wrapper<T>(T);
367
///
368
/// const _: () = unsafe {
369
///     /// SAFETY:
370
///     /// `Wrapper<T>` is `repr(transparent)`, so it is sound to implement any
371
///     /// zerocopy trait if `T` implements that trait.
372
///     impl_or_verify!(T: FromZeros => FromZeros for Wrapper<T>);
373
///     impl_or_verify!(T: FromBytes => FromBytes for Wrapper<T>);
374
///     impl_or_verify!(T: IntoBytes => IntoBytes for Wrapper<T>);
375
///     impl_or_verify!(T: Unaligned => Unaligned for Wrapper<T>);
376
/// }
377
/// ```
378
macro_rules! impl_or_verify {
379
    // The following two match arms follow the same pattern as their
380
    // counterparts in `unsafe_impl!`; see the documentation on those arms for
381
    // more details.
382
    (
383
        const $constname:ident : $constty:ident $(,)?
384
        $($tyvar:ident $(: $(? $optbound:ident $(+)?)* $($bound:ident $(+)?)* )?),*
385
        => $trait:ident for $ty:ty
386
    ) => {
387
        impl_or_verify!(@impl { unsafe_impl!(
388
            const $constname: $constty, $($tyvar $(: $(? $optbound +)* $($bound +)*)?),* => $trait for $ty
389
        ); });
390
        impl_or_verify!(@verify $trait, {
391
            impl<const $constname: $constty, $($tyvar $(: $(? $optbound +)* $($bound +)*)?),*> Subtrait for $ty {}
392
        });
393
    };
394
    (
395
        $($tyvar:ident $(: $(? $optbound:ident $(+)?)* $($bound:ident $(+)?)* )?),*
396
        => $trait:ident for $ty:ty $(; |$candidate:ident| $is_bit_valid:expr)?
397
    ) => {
398
        impl_or_verify!(@impl { unsafe_impl!(
399
            $($tyvar $(: $(? $optbound +)* $($bound +)*)?),* => $trait for $ty
400
            $(; |$candidate| $is_bit_valid)?
401
        ); });
402
        impl_or_verify!(@verify $trait, {
403
            impl<$($tyvar $(: $(? $optbound +)* $($bound +)*)?),*> Subtrait for $ty {}
404
        });
405
    };
406
    (@impl $impl_block:tt) => {
407
        #[cfg(not(any(feature = "derive", test)))]
408
        { $impl_block };
409
    };
410
    (@verify $trait:ident, $impl_block:tt) => {
411
        #[cfg(any(feature = "derive", test))]
412
        {
413
            // On some toolchains, `Subtrait` triggers the `dead_code` lint
414
            // because it is implemented but never used.
415
            #[allow(dead_code)]
416
            trait Subtrait: $trait {}
417
            $impl_block
418
        };
419
    };
420
}
421
422
/// Implements `KnownLayout` for a sized type.
423
macro_rules! impl_known_layout {
424
    ($(const $constvar:ident : $constty:ty, $tyvar:ident $(: ?$optbound:ident)? => $ty:ty),* $(,)?) => {
425
        $(impl_known_layout!(@inner const $constvar: $constty, $tyvar $(: ?$optbound)? => $ty);)*
426
    };
427
    ($($tyvar:ident $(: ?$optbound:ident)? => $ty:ty),* $(,)?) => {
428
        $(impl_known_layout!(@inner , $tyvar $(: ?$optbound)? => $ty);)*
429
    };
430
    ($($(#[$attrs:meta])* $ty:ty),*) => { $(impl_known_layout!(@inner , => $(#[$attrs])* $ty);)* };
431
    (@inner $(const $constvar:ident : $constty:ty)? , $($tyvar:ident $(: ?$optbound:ident)?)? => $(#[$attrs:meta])* $ty:ty) => {
432
        const _: () = {
433
            use core::ptr::NonNull;
434
435
            #[allow(non_local_definitions)]
436
            $(#[$attrs])*
437
            // SAFETY: Delegates safety to `DstLayout::for_type`.
438
            unsafe impl<$($tyvar $(: ?$optbound)?)? $(, const $constvar : $constty)?> KnownLayout for $ty {
439
                #[allow(clippy::missing_inline_in_public_items)]
440
                #[cfg_attr(all(coverage_nightly, __ZEROCOPY_INTERNAL_USE_ONLY_NIGHTLY_FEATURES_IN_TESTS), coverage(off))]
441
0
                fn only_derive_is_allowed_to_implement_this_trait() where Self: Sized {}
Unexecuted instantiation: <() as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <u8 as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <i8 as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <u16 as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <i16 as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <u32 as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <i32 as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <u64 as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <i64 as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <u128 as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <i128 as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <usize as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <isize as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <f32 as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <f64 as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <bool as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <char as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::num::nonzero::NonZero<u8> as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::num::nonzero::NonZero<i8> as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::num::nonzero::NonZero<u16> as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::num::nonzero::NonZero<i16> as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::num::nonzero::NonZero<u32> as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::num::nonzero::NonZero<i32> as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::num::nonzero::NonZero<u64> as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::num::nonzero::NonZero<i64> as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::num::nonzero::NonZero<u128> as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::num::nonzero::NonZero<i128> as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::num::nonzero::NonZero<usize> as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::num::nonzero::NonZero<isize> as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::sync::atomic::AtomicUsize as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::sync::atomic::AtomicIsize as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::sync::atomic::AtomicU8 as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::sync::atomic::AtomicI8 as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::sync::atomic::AtomicBool as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::sync::atomic::AtomicI16 as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::sync::atomic::AtomicU16 as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::sync::atomic::AtomicI32 as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::sync::atomic::AtomicU32 as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::sync::atomic::AtomicI64 as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::sync::atomic::AtomicU64 as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m512 as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m512d as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m512i as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m512bh as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m128d as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m128i as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m256 as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m256d as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m256i as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::core_arch::x86::__m128 as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <&mut _ as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <[_; _] as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::option::Option<_> as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::marker::PhantomData<_> as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::num::wrapping::Wrapping<_> as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::mem::maybe_uninit::MaybeUninit<_> as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <*const _ as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <*mut _ as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <&_ as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <zerocopy::wrappers::Unalign<_> as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::sync::atomic::AtomicPtr<_> as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
442
443
                type PointerMetadata = ();
444
445
                // SAFETY: `CoreMaybeUninit<T>::LAYOUT` and `T::LAYOUT` are
446
                // identical because `CoreMaybeUninit<T>` has the same size and
447
                // alignment as `T` [1], and `CoreMaybeUninit` admits
448
                // uninitialized bytes in all positions.
449
                //
450
                // [1] Per https://doc.rust-lang.org/1.81.0/std/mem/union.MaybeUninit.html#layout-1:
451
                //
452
                //   `MaybeUninit<T>` is guaranteed to have the same size,
453
                //   alignment, and ABI as `T`
454
                type MaybeUninit = core::mem::MaybeUninit<Self>;
455
456
                const LAYOUT: crate::DstLayout = crate::DstLayout::for_type::<$ty>();
457
458
                // SAFETY: `.cast` preserves address and provenance.
459
                //
460
                // FIXME(#429): Add documentation to `.cast` that promises that
461
                // it preserves provenance.
462
                #[inline(always)]
463
0
                fn raw_from_ptr_len(bytes: NonNull<u8>, _meta: ()) -> NonNull<Self> {
464
0
                    bytes.cast::<Self>()
465
0
                }
Unexecuted instantiation: <&mut _ as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <[_; _] as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <core::option::Option<_> as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <core::marker::PhantomData<_> as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <core::num::wrapping::Wrapping<_> as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <core::mem::maybe_uninit::MaybeUninit<_> as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <*const _ as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <*mut _ as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <&_ as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <zerocopy::wrappers::Unalign<_> as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <core::sync::atomic::AtomicPtr<_> as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <() as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <u8 as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <i8 as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <u16 as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <i16 as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <u32 as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <i32 as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <u64 as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <i64 as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <u128 as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <i128 as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <usize as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <isize as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <f32 as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <f64 as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <bool as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <char as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <core::num::nonzero::NonZero<u8> as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <core::num::nonzero::NonZero<i8> as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <core::num::nonzero::NonZero<u16> as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <core::num::nonzero::NonZero<i16> as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <core::num::nonzero::NonZero<u32> as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <core::num::nonzero::NonZero<i32> as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <core::num::nonzero::NonZero<u64> as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <core::num::nonzero::NonZero<i64> as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <core::num::nonzero::NonZero<u128> as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <core::num::nonzero::NonZero<i128> as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <core::num::nonzero::NonZero<usize> as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <core::num::nonzero::NonZero<isize> as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <core::sync::atomic::AtomicUsize as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <core::sync::atomic::AtomicIsize as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <core::sync::atomic::AtomicU8 as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <core::sync::atomic::AtomicI8 as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <core::sync::atomic::AtomicBool as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <core::sync::atomic::AtomicI16 as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <core::sync::atomic::AtomicU16 as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <core::sync::atomic::AtomicI32 as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <core::sync::atomic::AtomicU32 as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <core::sync::atomic::AtomicI64 as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <core::sync::atomic::AtomicU64 as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <core::core_arch::x86::__m512 as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <core::core_arch::x86::__m512d as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <core::core_arch::x86::__m512i as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <core::core_arch::x86::__m512bh as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <core::core_arch::x86::__m128d as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <core::core_arch::x86::__m128i as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <core::core_arch::x86::__m256 as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <core::core_arch::x86::__m256d as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <core::core_arch::x86::__m256i as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <core::core_arch::x86::__m128 as zerocopy::KnownLayout>::raw_from_ptr_len
466
467
                #[inline(always)]
468
0
                fn pointer_to_metadata(_ptr: *mut Self) -> () {
469
0
                }
Unexecuted instantiation: <&mut _ as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <[_; _] as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <core::option::Option<_> as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <core::marker::PhantomData<_> as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <core::num::wrapping::Wrapping<_> as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <core::mem::maybe_uninit::MaybeUninit<_> as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <*const _ as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <*mut _ as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <&_ as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <zerocopy::wrappers::Unalign<_> as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <core::sync::atomic::AtomicPtr<_> as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <() as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <u8 as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <i8 as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <u16 as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <i16 as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <u32 as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <i32 as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <u64 as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <i64 as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <u128 as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <i128 as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <usize as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <isize as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <f32 as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <f64 as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <bool as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <char as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <core::num::nonzero::NonZero<u8> as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <core::num::nonzero::NonZero<i8> as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <core::num::nonzero::NonZero<u16> as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <core::num::nonzero::NonZero<i16> as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <core::num::nonzero::NonZero<u32> as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <core::num::nonzero::NonZero<i32> as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <core::num::nonzero::NonZero<u64> as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <core::num::nonzero::NonZero<i64> as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <core::num::nonzero::NonZero<u128> as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <core::num::nonzero::NonZero<i128> as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <core::num::nonzero::NonZero<usize> as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <core::num::nonzero::NonZero<isize> as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <core::sync::atomic::AtomicUsize as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <core::sync::atomic::AtomicIsize as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <core::sync::atomic::AtomicU8 as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <core::sync::atomic::AtomicI8 as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <core::sync::atomic::AtomicBool as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <core::sync::atomic::AtomicI16 as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <core::sync::atomic::AtomicU16 as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <core::sync::atomic::AtomicI32 as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <core::sync::atomic::AtomicU32 as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <core::sync::atomic::AtomicI64 as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <core::sync::atomic::AtomicU64 as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <core::core_arch::x86::__m512 as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <core::core_arch::x86::__m512d as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <core::core_arch::x86::__m512i as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <core::core_arch::x86::__m512bh as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <core::core_arch::x86::__m128d as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <core::core_arch::x86::__m128i as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <core::core_arch::x86::__m256 as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <core::core_arch::x86::__m256d as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <core::core_arch::x86::__m256i as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <core::core_arch::x86::__m128 as zerocopy::KnownLayout>::pointer_to_metadata
470
            }
471
        };
472
    };
473
}
474
475
/// Implements `KnownLayout` for a type in terms of the implementation of
476
/// another type with the same representation.
477
///
478
/// # Safety
479
///
480
/// - `$ty` and `$repr` must have the same:
481
///   - Fixed prefix size
482
///   - Alignment
483
///   - (For DSTs) trailing slice element size
484
/// - It must be valid to perform an `as` cast from `*mut $repr` to `*mut $ty`,
485
///   and this operation must preserve referent size (ie, `size_of_val_raw`).
486
macro_rules! unsafe_impl_known_layout {
487
    ($($tyvar:ident: ?Sized + KnownLayout =>)? #[repr($repr:ty)] $ty:ty) => {{
488
        use core::ptr::NonNull;
489
490
        crate::util::macros::__unsafe();
491
492
        #[allow(non_local_definitions)]
493
        // SAFETY: The caller promises that this is sound.
494
        unsafe impl<$($tyvar: ?Sized + KnownLayout)?> KnownLayout for $ty {
495
            #[allow(clippy::missing_inline_in_public_items, dead_code)]
496
            #[cfg_attr(all(coverage_nightly, __ZEROCOPY_INTERNAL_USE_ONLY_NIGHTLY_FEATURES_IN_TESTS), coverage(off))]
497
0
            fn only_derive_is_allowed_to_implement_this_trait() {}
Unexecuted instantiation: <str as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::cell::UnsafeCell<_> as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::cell::Cell<_> as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <core::mem::manually_drop::ManuallyDrop<_> as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
Unexecuted instantiation: <zerocopy::wrappers::MaybeUninit<_> as zerocopy::KnownLayout>::only_derive_is_allowed_to_implement_this_trait
498
499
            type PointerMetadata = <$repr as KnownLayout>::PointerMetadata;
500
            type MaybeUninit = <$repr as KnownLayout>::MaybeUninit;
501
502
            const LAYOUT: DstLayout = <$repr as KnownLayout>::LAYOUT;
503
504
            // SAFETY: All operations preserve address and provenance. Caller
505
            // has promised that the `as` cast preserves size.
506
            //
507
            // FIXME(#429): Add documentation to `NonNull::new_unchecked` that
508
            // it preserves provenance.
509
            #[inline(always)]
510
0
            fn raw_from_ptr_len(bytes: NonNull<u8>, meta: <$repr as KnownLayout>::PointerMetadata) -> NonNull<Self> {
511
                #[allow(clippy::as_conversions)]
512
0
                let ptr = <$repr>::raw_from_ptr_len(bytes, meta).as_ptr() as *mut Self;
513
                // SAFETY: `ptr` was converted from `bytes`, which is non-null.
514
0
                unsafe { NonNull::new_unchecked(ptr) }
515
0
            }
Unexecuted instantiation: <core::cell::UnsafeCell<_> as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <core::cell::Cell<_> as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <core::mem::manually_drop::ManuallyDrop<_> as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <zerocopy::wrappers::MaybeUninit<_> as zerocopy::KnownLayout>::raw_from_ptr_len
Unexecuted instantiation: <str as zerocopy::KnownLayout>::raw_from_ptr_len
516
517
            #[inline(always)]
518
0
            fn pointer_to_metadata(ptr: *mut Self) -> Self::PointerMetadata {
519
                #[allow(clippy::as_conversions)]
520
0
                let ptr = ptr as *mut $repr;
521
0
                <$repr>::pointer_to_metadata(ptr)
522
0
            }
Unexecuted instantiation: <core::cell::UnsafeCell<_> as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <core::cell::Cell<_> as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <core::mem::manually_drop::ManuallyDrop<_> as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <zerocopy::wrappers::MaybeUninit<_> as zerocopy::KnownLayout>::pointer_to_metadata
Unexecuted instantiation: <str as zerocopy::KnownLayout>::pointer_to_metadata
523
        }
524
    }};
525
}
526
527
/// Uses `align_of` to confirm that a type or set of types have alignment 1.
528
///
529
/// Note that `align_of<T>` requires `T: Sized`, so this macro doesn't work for
530
/// unsized types.
531
macro_rules! assert_unaligned {
532
    ($($tys:ty),*) => {
533
        $(
534
            // We only compile this assertion under `cfg(test)` to avoid taking
535
            // an extra non-dev dependency (and making this crate more expensive
536
            // to compile for our dependents).
537
            #[cfg(test)]
538
            static_assertions::const_assert_eq!(core::mem::align_of::<$tys>(), 1);
539
        )*
540
    };
541
}
542
543
/// Emits a function definition as either `const fn` or `fn` depending on
544
/// whether the current toolchain version supports `const fn` with generic trait
545
/// bounds.
546
macro_rules! maybe_const_trait_bounded_fn {
547
    // This case handles both `self` methods (where `self` is by value) and
548
    // non-method functions. Each `$args` may optionally be followed by `:
549
    // $arg_tys:ty`, which can be omitted for `self`.
550
    ($(#[$attr:meta])* $vis:vis const fn $name:ident($($args:ident $(: $arg_tys:ty)?),* $(,)?) $(-> $ret_ty:ty)? $body:block) => {
551
        #[cfg(not(no_zerocopy_generic_bounds_in_const_fn_1_61_0))]
552
        $(#[$attr])* $vis const fn $name($($args $(: $arg_tys)?),*) $(-> $ret_ty)? $body
553
554
        #[cfg(no_zerocopy_generic_bounds_in_const_fn_1_61_0)]
555
        $(#[$attr])* $vis fn $name($($args $(: $arg_tys)?),*) $(-> $ret_ty)? $body
556
    };
557
}
558
559
/// Either panic (if the current Rust toolchain supports panicking in `const
560
/// fn`) or evaluate a constant that will cause an array indexing error whose
561
/// error message will include the format string.
562
///
563
/// The type that this expression evaluates to must be `Copy`, or else the
564
/// non-panicking desugaring will fail to compile.
565
macro_rules! const_panic {
566
    (@non_panic $($_arg:tt)+) => {{
567
        // This will type check to whatever type is expected based on the call
568
        // site.
569
        let panic: [_; 0] = [];
570
        // This will always fail (since we're indexing into an array of size 0.
571
        #[allow(unconditional_panic)]
572
        panic[0]
573
    }};
574
    ($($arg:tt)+) => {{
575
        #[cfg(not(no_zerocopy_panic_in_const_and_vec_try_reserve_1_57_0))]
576
        panic!($($arg)+);
577
        #[cfg(no_zerocopy_panic_in_const_and_vec_try_reserve_1_57_0)]
578
        const_panic!(@non_panic $($arg)+)
579
    }};
580
}
581
582
/// Either assert (if the current Rust toolchain supports panicking in `const
583
/// fn`) or evaluate the expression and, if it evaluates to `false`, call
584
/// `const_panic!`. This is used in place of `assert!` in const contexts to
585
/// accommodate old toolchains.
586
macro_rules! const_assert {
587
    ($e:expr) => {{
588
        #[cfg(not(no_zerocopy_panic_in_const_and_vec_try_reserve_1_57_0))]
589
        assert!($e);
590
        #[cfg(no_zerocopy_panic_in_const_and_vec_try_reserve_1_57_0)]
591
        {
592
            let e = $e;
593
            if !e {
594
                let _: () = const_panic!(@non_panic concat!("assertion failed: ", stringify!($e)));
595
            }
596
        }
597
    }};
598
    ($e:expr, $($args:tt)+) => {{
599
        #[cfg(not(no_zerocopy_panic_in_const_and_vec_try_reserve_1_57_0))]
600
        assert!($e, $($args)+);
601
        #[cfg(no_zerocopy_panic_in_const_and_vec_try_reserve_1_57_0)]
602
        {
603
            let e = $e;
604
            if !e {
605
                let _: () = const_panic!(@non_panic concat!("assertion failed: ", stringify!($e), ": ", stringify!($arg)), $($args)*);
606
            }
607
        }
608
    }};
609
}
610
611
/// Like `const_assert!`, but relative to `debug_assert!`.
612
macro_rules! const_debug_assert {
613
    ($e:expr $(, $msg:expr)?) => {{
614
        #[cfg(not(no_zerocopy_panic_in_const_and_vec_try_reserve_1_57_0))]
615
        debug_assert!($e $(, $msg)?);
616
        #[cfg(no_zerocopy_panic_in_const_and_vec_try_reserve_1_57_0)]
617
        {
618
            // Use this (rather than `#[cfg(debug_assertions)]`) to ensure that
619
            // `$e` is always compiled even if it will never be evaluated at
620
            // runtime.
621
            if cfg!(debug_assertions) {
622
                let e = $e;
623
                if !e {
624
                    let _: () = const_panic!(@non_panic concat!("assertion failed: ", stringify!($e) $(, ": ", $msg)?));
625
                }
626
            }
627
        }
628
    }}
629
}
630
631
/// Either invoke `unreachable!()` or `loop {}` depending on whether the Rust
632
/// toolchain supports panicking in `const fn`.
633
macro_rules! const_unreachable {
634
    () => {{
635
        #[cfg(not(no_zerocopy_panic_in_const_and_vec_try_reserve_1_57_0))]
636
        unreachable!();
637
638
        #[cfg(no_zerocopy_panic_in_const_and_vec_try_reserve_1_57_0)]
639
        loop {}
640
    }};
641
}
642
643
/// Asserts at compile time that `$condition` is true for `Self` or the given
644
/// `$tyvar`s. Unlike `const_assert`, this is *strictly* a compile-time check;
645
/// it cannot be evaluated in a runtime context. The condition is checked after
646
/// monomorphization and, upon failure, emits a compile error.
647
macro_rules! static_assert {
648
    (Self $(: $(? $optbound:ident $(+)?)* $($bound:ident $(+)?)* )? => $condition:expr $(, $args:tt)*) => {{
649
        trait StaticAssert {
650
            const ASSERT: bool;
651
        }
652
653
        impl<T $(: $(? $optbound +)* $($bound +)*)?> StaticAssert for T {
654
            const ASSERT: bool = {
655
                const_assert!($condition $(, $args)*);
656
                $condition
657
            };
658
        }
659
660
        const_assert!(<Self as StaticAssert>::ASSERT);
661
    }};
662
    ($($tyvar:ident $(: $(? $optbound:ident $(+)?)* $($bound:ident $(+)?)* )?),* => $condition:expr $(, $args:tt)*) => {{
663
        trait StaticAssert {
664
            const ASSERT: bool;
665
        }
666
667
        // NOTE: We use `PhantomData` so we can support unsized types.
668
        impl<$($tyvar $(: $(? $optbound +)* $($bound +)*)?,)*> StaticAssert for ($(core::marker::PhantomData<$tyvar>,)*) {
669
            const ASSERT: bool = {
670
                const_assert!($condition $(, $args)*);
671
                $condition
672
            };
673
        }
674
675
        const_assert!(<($(core::marker::PhantomData<$tyvar>,)*) as StaticAssert>::ASSERT);
676
    }};
677
}
678
679
/// Assert at compile time that `tyvar` does not have a zero-sized DST
680
/// component.
681
macro_rules! static_assert_dst_is_not_zst {
682
    ($tyvar:ident) => {{
683
        use crate::KnownLayout;
684
        static_assert!($tyvar: ?Sized + KnownLayout => {
685
            let dst_is_zst = match $tyvar::LAYOUT.size_info {
686
                crate::SizeInfo::Sized { .. } => false,
687
                crate::SizeInfo::SliceDst(TrailingSliceLayout { elem_size, .. }) => {
688
                    elem_size == 0
689
                }
690
            };
691
            !dst_is_zst
692
        }, "cannot call this method on a dynamically-sized type whose trailing slice element is zero-sized");
693
    }}
694
}
695
696
/// # Safety
697
///
698
/// The caller must ensure that the cast does not grow the size of the referent.
699
/// Preserving or shrinking the size of the referent are both acceptable.
700
macro_rules! cast {
701
    ($p:expr) => {{
702
        let ptr: crate::pointer::PtrInner<'_, _> = $p;
703
        let ptr = ptr.as_non_null();
704
        let ptr = ptr.as_ptr();
705
        #[allow(clippy::as_conversions)]
706
        let ptr = ptr as *mut _;
707
        #[allow(unused_unsafe)]
708
        // SAFETY: `NonNull::as_ptr` returns a non-null pointer, so the argument
709
        // to `NonNull::new_unchecked` is also non-null.
710
        let ptr = unsafe { core::ptr::NonNull::new_unchecked(ptr) };
711
        // SAFETY: The caller promises that the cast preserves or shrinks
712
        // referent size. By invariant on `$p: PtrInner` (guaranteed by type
713
        // annotation above), `$p` refers to a byte range entirely contained
714
        // inside of a single allocation, has provenance for that whole byte
715
        // range, and will not outlive the allocation. All of these conditions
716
        // are preserved when preserving or shrinking referent size.
717
        crate::pointer::PtrInner::new(ptr)
718
    }};
719
}
720
721
/// Implements `TransmuteFrom` and `SizeEq` for `T` and `$wrapper<T>`.
722
///
723
/// # Safety
724
///
725
/// `T` and `$wrapper<T>` must have the same bit validity, and must have the
726
/// same size in the sense of `SizeEq`.
727
macro_rules! unsafe_impl_for_transparent_wrapper {
728
    (T $(: ?$optbound:ident)? => $wrapper:ident<T>) => {{
729
        crate::util::macros::__unsafe();
730
731
        use crate::pointer::{TransmuteFrom, PtrInner, SizeEq, invariant::Valid};
732
733
        // SAFETY: The caller promises that `T` and `$wrapper<T>` have the same
734
        // bit validity.
735
        unsafe impl<T $(: ?$optbound)?> TransmuteFrom<T, Valid, Valid> for $wrapper<T> {}
736
        // SAFETY: See previous safety comment.
737
        unsafe impl<T $(: ?$optbound)?> TransmuteFrom<$wrapper<T>, Valid, Valid> for T {}
738
        // SAFETY: The caller promises that `T` and `$wrapper<T>` satisfy
739
        // `SizeEq`.
740
        unsafe impl<T $(: ?$optbound)?> SizeEq<T> for $wrapper<T> {
741
            #[inline(always)]
742
272k
            fn cast_from_raw(t: PtrInner<'_, T>) -> PtrInner<'_, $wrapper<T>> {
743
                // SAFETY: See previous safety comment.
744
272k
                unsafe { cast!(t) }
745
272k
            }
<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::S<[half::binary16::f16]> as zerocopy::pointer::transmute::SizeEq<[half::binary16::f16]>>::cast_from_raw
Line
Count
Source
742
136k
            fn cast_from_raw(t: PtrInner<'_, T>) -> PtrInner<'_, $wrapper<T>> {
743
                // SAFETY: See previous safety comment.
744
136k
                unsafe { cast!(t) }
745
136k
            }
<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::S<[half::binary16::f16]> as zerocopy::pointer::transmute::SizeEq<[half::binary16::f16]>>::cast_from_raw
Line
Count
Source
742
136k
            fn cast_from_raw(t: PtrInner<'_, T>) -> PtrInner<'_, $wrapper<T>> {
743
                // SAFETY: See previous safety comment.
744
136k
                unsafe { cast!(t) }
745
136k
            }
Unexecuted instantiation: <core::mem::manually_drop::ManuallyDrop<_> as zerocopy::pointer::transmute::SizeEq<_>>::cast_from_raw
Unexecuted instantiation: <core::num::wrapping::Wrapping<_> as zerocopy::pointer::transmute::SizeEq<_>>::cast_from_raw
Unexecuted instantiation: <core::cell::UnsafeCell<_> as zerocopy::pointer::transmute::SizeEq<_>>::cast_from_raw
Unexecuted instantiation: <core::cell::Cell<_> as zerocopy::pointer::transmute::SizeEq<_>>::cast_from_raw
Unexecuted instantiation: <zerocopy::wrappers::Unalign<_> as zerocopy::pointer::transmute::SizeEq<_>>::cast_from_raw
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::S<_> as zerocopy::pointer::transmute::SizeEq<_>>::cast_from_raw
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::D<_> as zerocopy::pointer::transmute::SizeEq<_>>::cast_from_raw
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::S<_> as zerocopy::pointer::transmute::SizeEq<_>>::cast_from_raw
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::D<_> as zerocopy::pointer::transmute::SizeEq<_>>::cast_from_raw
746
        }
747
        // SAFETY: See previous safety comment.
748
        unsafe impl<T $(: ?$optbound)?> SizeEq<$wrapper<T>> for T {
749
            #[inline(always)]
750
0
            fn cast_from_raw(t: PtrInner<'_, $wrapper<T>>) -> PtrInner<'_, T> {
751
                // SAFETY: See previous safety comment.
752
0
                unsafe { cast!(t) }
753
0
            }
Unexecuted instantiation: <_ as zerocopy::pointer::transmute::SizeEq<core::mem::manually_drop::ManuallyDrop<_>>>::cast_from_raw
Unexecuted instantiation: <_ as zerocopy::pointer::transmute::SizeEq<core::num::wrapping::Wrapping<_>>>::cast_from_raw
Unexecuted instantiation: <_ as zerocopy::pointer::transmute::SizeEq<core::cell::UnsafeCell<_>>>::cast_from_raw
Unexecuted instantiation: <_ as zerocopy::pointer::transmute::SizeEq<core::cell::Cell<_>>>::cast_from_raw
Unexecuted instantiation: <_ as zerocopy::pointer::transmute::SizeEq<zerocopy::wrappers::Unalign<_>>>::cast_from_raw
Unexecuted instantiation: <_ as zerocopy::pointer::transmute::SizeEq<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::S<_>>>::cast_from_raw
Unexecuted instantiation: <_ as zerocopy::pointer::transmute::SizeEq<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::D<_>>>::cast_from_raw
Unexecuted instantiation: <_ as zerocopy::pointer::transmute::SizeEq<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::S<_>>>::cast_from_raw
Unexecuted instantiation: <_ as zerocopy::pointer::transmute::SizeEq<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::D<_>>>::cast_from_raw
754
        }
755
    }};
756
}
757
758
macro_rules! impl_transitive_transmute_from {
759
    ($($tyvar:ident $(: ?$optbound:ident)?)? => $t:ty => $u:ty => $v:ty) => {
760
        const _: () = {
761
            use crate::pointer::{TransmuteFrom, PtrInner, SizeEq, invariant::Valid};
762
763
            // SAFETY: Since `$u: SizeEq<$t>` and `$v: SizeEq<U>`, this impl is
764
            // transitively sound.
765
            unsafe impl<$($tyvar $(: ?$optbound)?)?> SizeEq<$t> for $v
766
            where
767
                $u: SizeEq<$t>,
768
                $v: SizeEq<$u>,
769
            {
770
                #[inline(always)]
771
0
                fn cast_from_raw(t: PtrInner<'_, $t>) -> PtrInner<'_, $v> {
772
0
                    let u = <$u as SizeEq<_>>::cast_from_raw(t);
773
0
                    <$v as SizeEq<_>>::cast_from_raw(u)
774
0
                }
Unexecuted instantiation: <core::num::wrapping::Wrapping<_> as zerocopy::pointer::transmute::SizeEq<core::mem::maybe_uninit::MaybeUninit<_>>>::cast_from_raw
Unexecuted instantiation: <core::mem::maybe_uninit::MaybeUninit<_> as zerocopy::pointer::transmute::SizeEq<core::num::wrapping::Wrapping<_>>>::cast_from_raw
Unexecuted instantiation: <core::cell::UnsafeCell<_> as zerocopy::pointer::transmute::SizeEq<core::cell::Cell<_>>>::cast_from_raw
Unexecuted instantiation: <core::cell::Cell<_> as zerocopy::pointer::transmute::SizeEq<core::cell::UnsafeCell<_>>>::cast_from_raw
775
            }
776
777
            // SAFETY: Since `$u: TransmuteFrom<$t, Valid, Valid>`, it is sound
778
            // to transmute a bit-valid `$t` to a bit-valid `$u`. Since `$v:
779
            // TransmuteFrom<$u, Valid, Valid>`, it is sound to transmute that
780
            // bit-valid `$u` to a bit-valid `$v`.
781
            unsafe impl<$($tyvar $(: ?$optbound)?)?> TransmuteFrom<$t, Valid, Valid> for $v
782
            where
783
                $u: TransmuteFrom<$t, Valid, Valid>,
784
                $v: TransmuteFrom<$u, Valid, Valid>,
785
            {}
786
        };
787
    };
788
}
789
790
#[rustfmt::skip]
791
macro_rules! impl_size_eq {
792
    ($t:ty, $u:ty) => {
793
        const _: () = {
794
            use crate::{KnownLayout, pointer::{PtrInner, SizeEq}};
795
796
            static_assert!(=> {
797
                let t = <$t as KnownLayout>::LAYOUT;
798
                let u = <$u as KnownLayout>::LAYOUT;
799
                t.align.get() >= u.align.get() && match (t.size_info, u.size_info) {
800
                    (SizeInfo::Sized { size: t }, SizeInfo::Sized { size: u }) => t == u,
801
                    (
802
                        SizeInfo::SliceDst(TrailingSliceLayout { offset: t_offset, elem_size: t_elem_size }),
803
                        SizeInfo::SliceDst(TrailingSliceLayout { offset: u_offset, elem_size: u_elem_size })
804
                    ) => t_offset == u_offset && t_elem_size == u_elem_size,
805
                    _ => false,
806
                }
807
            });
808
809
            // SAFETY: See inline.
810
            unsafe impl SizeEq<$t> for $u {
811
                #[inline(always)]
812
0
                fn cast_from_raw(t: PtrInner<'_, $t>) -> PtrInner<'_, $u> {
813
                    // SAFETY: We've asserted that their
814
                    // `KnownLayout::LAYOUT.size_info`s are equal, and so this
815
                    // cast is guaranteed to preserve address and referent size.
816
                    // It trivially preserves provenance.
817
                    #[allow(clippy::multiple_unsafe_ops_per_block)]
818
0
                    unsafe { cast!(t) }
819
0
                }
Unexecuted instantiation: <u8 as zerocopy::pointer::transmute::SizeEq<bool>>::cast_from_raw
Unexecuted instantiation: <zerocopy::wrappers::Unalign<u32> as zerocopy::pointer::transmute::SizeEq<char>>::cast_from_raw
Unexecuted instantiation: <[u8] as zerocopy::pointer::transmute::SizeEq<str>>::cast_from_raw
Unexecuted instantiation: <zerocopy::wrappers::Unalign<u8> as zerocopy::pointer::transmute::SizeEq<core::num::nonzero::NonZero<u8>>>::cast_from_raw
Unexecuted instantiation: <zerocopy::wrappers::Unalign<i8> as zerocopy::pointer::transmute::SizeEq<core::num::nonzero::NonZero<i8>>>::cast_from_raw
Unexecuted instantiation: <zerocopy::wrappers::Unalign<u16> as zerocopy::pointer::transmute::SizeEq<core::num::nonzero::NonZero<u16>>>::cast_from_raw
Unexecuted instantiation: <zerocopy::wrappers::Unalign<i16> as zerocopy::pointer::transmute::SizeEq<core::num::nonzero::NonZero<i16>>>::cast_from_raw
Unexecuted instantiation: <zerocopy::wrappers::Unalign<u32> as zerocopy::pointer::transmute::SizeEq<core::num::nonzero::NonZero<u32>>>::cast_from_raw
Unexecuted instantiation: <zerocopy::wrappers::Unalign<i32> as zerocopy::pointer::transmute::SizeEq<core::num::nonzero::NonZero<i32>>>::cast_from_raw
Unexecuted instantiation: <zerocopy::wrappers::Unalign<u64> as zerocopy::pointer::transmute::SizeEq<core::num::nonzero::NonZero<u64>>>::cast_from_raw
Unexecuted instantiation: <zerocopy::wrappers::Unalign<i64> as zerocopy::pointer::transmute::SizeEq<core::num::nonzero::NonZero<i64>>>::cast_from_raw
Unexecuted instantiation: <zerocopy::wrappers::Unalign<u128> as zerocopy::pointer::transmute::SizeEq<core::num::nonzero::NonZero<u128>>>::cast_from_raw
Unexecuted instantiation: <zerocopy::wrappers::Unalign<i128> as zerocopy::pointer::transmute::SizeEq<core::num::nonzero::NonZero<i128>>>::cast_from_raw
Unexecuted instantiation: <zerocopy::wrappers::Unalign<usize> as zerocopy::pointer::transmute::SizeEq<core::num::nonzero::NonZero<usize>>>::cast_from_raw
Unexecuted instantiation: <zerocopy::wrappers::Unalign<isize> as zerocopy::pointer::transmute::SizeEq<core::num::nonzero::NonZero<isize>>>::cast_from_raw
820
            }
821
            // SAFETY: See previous safety comment.
822
            unsafe impl SizeEq<$u> for $t {
823
                #[inline(always)]
824
0
                fn cast_from_raw(u: PtrInner<'_, $u>) -> PtrInner<'_, $t> {
825
                    // SAFETY: See previous safety comment.
826
                    #[allow(clippy::multiple_unsafe_ops_per_block)]
827
0
                    unsafe { cast!(u) }
828
0
                }
Unexecuted instantiation: <bool as zerocopy::pointer::transmute::SizeEq<u8>>::cast_from_raw
Unexecuted instantiation: <char as zerocopy::pointer::transmute::SizeEq<zerocopy::wrappers::Unalign<u32>>>::cast_from_raw
Unexecuted instantiation: <str as zerocopy::pointer::transmute::SizeEq<[u8]>>::cast_from_raw
Unexecuted instantiation: <core::num::nonzero::NonZero<u8> as zerocopy::pointer::transmute::SizeEq<zerocopy::wrappers::Unalign<u8>>>::cast_from_raw
Unexecuted instantiation: <core::num::nonzero::NonZero<i8> as zerocopy::pointer::transmute::SizeEq<zerocopy::wrappers::Unalign<i8>>>::cast_from_raw
Unexecuted instantiation: <core::num::nonzero::NonZero<u16> as zerocopy::pointer::transmute::SizeEq<zerocopy::wrappers::Unalign<u16>>>::cast_from_raw
Unexecuted instantiation: <core::num::nonzero::NonZero<i16> as zerocopy::pointer::transmute::SizeEq<zerocopy::wrappers::Unalign<i16>>>::cast_from_raw
Unexecuted instantiation: <core::num::nonzero::NonZero<u32> as zerocopy::pointer::transmute::SizeEq<zerocopy::wrappers::Unalign<u32>>>::cast_from_raw
Unexecuted instantiation: <core::num::nonzero::NonZero<i32> as zerocopy::pointer::transmute::SizeEq<zerocopy::wrappers::Unalign<i32>>>::cast_from_raw
Unexecuted instantiation: <core::num::nonzero::NonZero<u64> as zerocopy::pointer::transmute::SizeEq<zerocopy::wrappers::Unalign<u64>>>::cast_from_raw
Unexecuted instantiation: <core::num::nonzero::NonZero<i64> as zerocopy::pointer::transmute::SizeEq<zerocopy::wrappers::Unalign<i64>>>::cast_from_raw
Unexecuted instantiation: <core::num::nonzero::NonZero<u128> as zerocopy::pointer::transmute::SizeEq<zerocopy::wrappers::Unalign<u128>>>::cast_from_raw
Unexecuted instantiation: <core::num::nonzero::NonZero<i128> as zerocopy::pointer::transmute::SizeEq<zerocopy::wrappers::Unalign<i128>>>::cast_from_raw
Unexecuted instantiation: <core::num::nonzero::NonZero<usize> as zerocopy::pointer::transmute::SizeEq<zerocopy::wrappers::Unalign<usize>>>::cast_from_raw
Unexecuted instantiation: <core::num::nonzero::NonZero<isize> as zerocopy::pointer::transmute::SizeEq<zerocopy::wrappers::Unalign<isize>>>::cast_from_raw
829
            }
830
        };
831
    };
832
}
833
834
/// Invokes `$blk` in a context in which `$src<$t>` and `$dst<$u>` implement
835
/// `SizeEq`.
836
///
837
/// This macro emits code which implements `SizeEq`, and ensures that the impl
838
/// is sound via PME.
839
///
840
/// # Safety
841
///
842
/// Inside of `$blk`, the caller must only use `$src` and `$dst` as `$src<$t>`
843
/// and `$dst<$u>`. The caller must not use `$src` or `$dst` to wrap any other
844
/// types.
845
macro_rules! unsafe_with_size_eq {
846
    (<$src:ident<$t:ident>, $dst:ident<$u:ident>> $blk:expr) => {{
847
        crate::util::macros::__unsafe();
848
849
        use crate::{KnownLayout, pointer::PtrInner};
850
851
        #[repr(transparent)]
852
        struct $src<T: ?Sized>(T);
853
854
        #[repr(transparent)]
855
        struct $dst<U: ?Sized>(U);
856
857
        // SAFETY: Since `$src<T>` is a `#[repr(transparent)]` wrapper around
858
        // `T`, it has the same bit validity and size as `T`.
859
        unsafe_impl_for_transparent_wrapper!(T: ?Sized => $src<T>);
860
861
        // SAFETY: Since `$dst<T>` is a `#[repr(transparent)]` wrapper around
862
        // `T`, it has the same bit validity and size as `T`.
863
        unsafe_impl_for_transparent_wrapper!(T: ?Sized => $dst<T>);
864
865
        // SAFETY: `$src<T>` is a `#[repr(transparent)]` wrapper around `T` with
866
        // no added semantics.
867
        unsafe impl<T: ?Sized> InvariantsEq<$src<T>> for T {}
868
869
        // SAFETY: `$dst<T>` is a `#[repr(transparent)]` wrapper around `T` with
870
        // no added semantics.
871
        unsafe impl<T: ?Sized> InvariantsEq<$dst<T>> for T {}
872
873
        // SAFETY: See inline for the soundness of this impl when
874
        // `cast_from_raw` is actually instantiated (otherwise, PMEs may not be
875
        // triggered).
876
        //
877
        // We manually instantiate `cast_from_raw` below to ensure that this PME
878
        // can be triggered, and the caller promises not to use `$src` and
879
        // `$dst` with any wrapped types other than `$t` and `$u` respectively.
880
        unsafe impl<T: ?Sized, U: ?Sized> SizeEq<$src<T>> for $dst<U>
881
        where
882
            T: KnownLayout<PointerMetadata = usize>,
883
            U: KnownLayout<PointerMetadata = usize>,
884
        {
885
272k
            fn cast_from_raw(src: PtrInner<'_, $src<T>>) -> PtrInner<'_, Self> {
886
                // SAFETY: `crate::layout::cast_from_raw` promises to satisfy
887
                // the safety invariants of `SizeEq::cast_from_raw`, or to
888
                // generate a PME. Since `$src<T>` and `$dst<U>` are
889
                // `#[repr(transparent)]` wrappers around `T` and `U`
890
                // respectively, a `cast_from_raw` impl which satisfies the
891
                // conditions for casting from `NonNull<T>` to `NonNull<U>` also
892
                // satisfies the conditions for casting from `NonNull<$src<T>>`
893
                // to `NonNull<$dst<U>>`.
894
895
                // SAFETY: By the preceding safety comment, this cast preserves
896
                // referent size.
897
                #[allow(clippy::multiple_unsafe_ops_per_block)]
898
272k
                let src: PtrInner<'_, T> = unsafe { cast!(src) };
899
272k
                let dst: PtrInner<'_, U> = crate::layout::cast_from_raw(src);
900
                // SAFETY: By the preceding safety comment, this cast preserves
901
                // referent size.
902
                #[allow(clippy::multiple_unsafe_ops_per_block)]
903
272k
                unsafe { cast!(dst) }
904
272k
            }
<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::D<[u16]> as zerocopy::pointer::transmute::SizeEq<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::S<[half::binary16::f16]>>>::cast_from_raw
Line
Count
Source
885
136k
            fn cast_from_raw(src: PtrInner<'_, $src<T>>) -> PtrInner<'_, Self> {
886
                // SAFETY: `crate::layout::cast_from_raw` promises to satisfy
887
                // the safety invariants of `SizeEq::cast_from_raw`, or to
888
                // generate a PME. Since `$src<T>` and `$dst<U>` are
889
                // `#[repr(transparent)]` wrappers around `T` and `U`
890
                // respectively, a `cast_from_raw` impl which satisfies the
891
                // conditions for casting from `NonNull<T>` to `NonNull<U>` also
892
                // satisfies the conditions for casting from `NonNull<$src<T>>`
893
                // to `NonNull<$dst<U>>`.
894
895
                // SAFETY: By the preceding safety comment, this cast preserves
896
                // referent size.
897
                #[allow(clippy::multiple_unsafe_ops_per_block)]
898
136k
                let src: PtrInner<'_, T> = unsafe { cast!(src) };
899
136k
                let dst: PtrInner<'_, U> = crate::layout::cast_from_raw(src);
900
                // SAFETY: By the preceding safety comment, this cast preserves
901
                // referent size.
902
                #[allow(clippy::multiple_unsafe_ops_per_block)]
903
136k
                unsafe { cast!(dst) }
904
136k
            }
<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::D<[u16]> as zerocopy::pointer::transmute::SizeEq<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::S<[half::binary16::f16]>>>::cast_from_raw
Line
Count
Source
885
136k
            fn cast_from_raw(src: PtrInner<'_, $src<T>>) -> PtrInner<'_, Self> {
886
                // SAFETY: `crate::layout::cast_from_raw` promises to satisfy
887
                // the safety invariants of `SizeEq::cast_from_raw`, or to
888
                // generate a PME. Since `$src<T>` and `$dst<U>` are
889
                // `#[repr(transparent)]` wrappers around `T` and `U`
890
                // respectively, a `cast_from_raw` impl which satisfies the
891
                // conditions for casting from `NonNull<T>` to `NonNull<U>` also
892
                // satisfies the conditions for casting from `NonNull<$src<T>>`
893
                // to `NonNull<$dst<U>>`.
894
895
                // SAFETY: By the preceding safety comment, this cast preserves
896
                // referent size.
897
                #[allow(clippy::multiple_unsafe_ops_per_block)]
898
136k
                let src: PtrInner<'_, T> = unsafe { cast!(src) };
899
136k
                let dst: PtrInner<'_, U> = crate::layout::cast_from_raw(src);
900
                // SAFETY: By the preceding safety comment, this cast preserves
901
                // referent size.
902
                #[allow(clippy::multiple_unsafe_ops_per_block)]
903
136k
                unsafe { cast!(dst) }
904
136k
            }
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::D<_> as zerocopy::pointer::transmute::SizeEq<<zerocopy::util::macro_util::Wrap<&_, &_> as zerocopy::util::macro_util::TransmuteRefDst>::transmute_ref::S<_>>>::cast_from_raw
Unexecuted instantiation: <<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::D<_> as zerocopy::pointer::transmute::SizeEq<<zerocopy::util::macro_util::Wrap<&mut _, &mut _> as zerocopy::util::macro_util::TransmuteMutDst>::transmute_mut::S<_>>>::cast_from_raw
905
        }
906
907
        // See safety comment on the preceding `unsafe impl` block for an
908
        // explanation of why we need this block.
909
        if 1 == 0 {
910
            let ptr = <$t as KnownLayout>::raw_dangling();
911
            #[allow(unused_unsafe)]
912
            // SAFETY: This call is never executed.
913
            #[allow(clippy::multiple_unsafe_ops_per_block)]
914
            let ptr = unsafe { crate::pointer::PtrInner::new(ptr) };
915
            #[allow(unused_unsafe)]
916
            // SAFETY: This call is never executed.
917
            #[allow(clippy::multiple_unsafe_ops_per_block)]
918
            let ptr = unsafe { cast!(ptr) };
919
            let _ = <$dst<$u> as SizeEq<$src<$t>>>::cast_from_raw(ptr);
920
        }
921
922
        impl_for_transmute_from!(T: ?Sized + TryFromBytes => TryFromBytes for $src<T>[<T>]);
923
        impl_for_transmute_from!(T: ?Sized + FromBytes => FromBytes for $src<T>[<T>]);
924
        impl_for_transmute_from!(T: ?Sized + FromZeros => FromZeros for $src<T>[<T>]);
925
        impl_for_transmute_from!(T: ?Sized + IntoBytes => IntoBytes for $src<T>[<T>]);
926
927
        impl_for_transmute_from!(U: ?Sized + TryFromBytes => TryFromBytes for $dst<U>[<U>]);
928
        impl_for_transmute_from!(U: ?Sized + FromBytes => FromBytes for $dst<U>[<U>]);
929
        impl_for_transmute_from!(U: ?Sized + FromZeros => FromZeros for $dst<U>[<U>]);
930
        impl_for_transmute_from!(U: ?Sized + IntoBytes => IntoBytes for $dst<U>[<U>]);
931
932
        // SAFETY: `$src<T>` is a `#[repr(transparent)]` wrapper around `T`, and
933
        // so permits interior mutation exactly when `T` does.
934
        unsafe_impl!(T: ?Sized + Immutable => Immutable for $src<T>);
935
936
        // SAFETY: `$dst<T>` is a `#[repr(transparent)]` wrapper around `T`, and
937
        // so permits interior mutation exactly when `T` does.
938
        unsafe_impl!(T: ?Sized + Immutable => Immutable for $dst<T>);
939
940
        $blk
941
    }};
942
}
943
944
/// A no-op `unsafe fn` for use in macro expansions.
945
///
946
/// Calling this function in a macro expansion ensures that the macro's caller
947
/// must wrap the call in `unsafe { ... }`.
948
1.36M
pub(crate) const unsafe fn __unsafe() {}