1error[E0277]: the trait bound `NotZerocopy: FromZeroes` is not satisfied
2  --> tests/ui-stable/derive_transparent.rs:37:18
3   |
437 | assert_impl_all!(TransparentStruct<NotZerocopy>: FromZeroes);
5   |                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `FromZeroes` is not implemented for `NotZerocopy`, which is required by `TransparentStruct<NotZerocopy>: FromZeroes`
6   |
7   = help: the following other types implement trait `FromZeroes`:
8             ()
9             *const T
10             *mut T
11             AU16
12             F32<O>
13             F64<O>
14             I128<O>
15             I16<O>
16           and $N others
17note: required for `TransparentStruct<NotZerocopy>` to implement `FromZeroes`
18  --> tests/ui-stable/derive_transparent.rs:27:19
19   |
2027 | #[derive(AsBytes, FromZeroes, FromBytes, Unaligned)]
21   |                   ^^^^^^^^^^ unsatisfied trait bound introduced in this `derive` macro
22note: required by a bound in `_::{closure#0}::assert_impl_all`
23  --> tests/ui-stable/derive_transparent.rs:37:1
24   |
2537 | assert_impl_all!(TransparentStruct<NotZerocopy>: FromZeroes);
26   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `assert_impl_all`
27   = note: this error originates in the derive macro `FromZeroes` which comes from the expansion of the macro `assert_impl_all` (in Nightly builds, run with -Z macro-backtrace for more info)
28
29error[E0277]: the trait bound `NotZerocopy: FromBytes` is not satisfied
30  --> tests/ui-stable/derive_transparent.rs:38:18
31   |
3238 | assert_impl_all!(TransparentStruct<NotZerocopy>: FromBytes);
33   |                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `FromBytes` is not implemented for `NotZerocopy`, which is required by `TransparentStruct<NotZerocopy>: FromBytes`
34   |
35   = help: the following other types implement trait `FromBytes`:
36             ()
37             AU16
38             F32<O>
39             F64<O>
40             I128<O>
41             I16<O>
42             I32<O>
43             I64<O>
44           and $N others
45note: required for `TransparentStruct<NotZerocopy>` to implement `FromBytes`
46  --> tests/ui-stable/derive_transparent.rs:27:31
47   |
4827 | #[derive(AsBytes, FromZeroes, FromBytes, Unaligned)]
49   |                               ^^^^^^^^^ unsatisfied trait bound introduced in this `derive` macro
50note: required by a bound in `_::{closure#0}::assert_impl_all`
51  --> tests/ui-stable/derive_transparent.rs:38:1
52   |
5338 | assert_impl_all!(TransparentStruct<NotZerocopy>: FromBytes);
54   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `assert_impl_all`
55   = note: this error originates in the derive macro `FromBytes` which comes from the expansion of the macro `assert_impl_all` (in Nightly builds, run with -Z macro-backtrace for more info)
56
57error[E0277]: the trait bound `NotZerocopy: AsBytes` is not satisfied
58  --> tests/ui-stable/derive_transparent.rs:39:18
59   |
6039 | assert_impl_all!(TransparentStruct<NotZerocopy>: AsBytes);
61   |                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `AsBytes` is not implemented for `NotZerocopy`, which is required by `TransparentStruct<NotZerocopy>: AsBytes`
62   |
63   = help: the following other types implement trait `AsBytes`:
64             ()
65             AU16
66             F32<O>
67             F64<O>
68             I128<O>
69             I16<O>
70             I32<O>
71             I64<O>
72           and $N others
73note: required for `TransparentStruct<NotZerocopy>` to implement `AsBytes`
74  --> tests/ui-stable/derive_transparent.rs:27:10
75   |
7627 | #[derive(AsBytes, FromZeroes, FromBytes, Unaligned)]
77   |          ^^^^^^^ unsatisfied trait bound introduced in this `derive` macro
78note: required by a bound in `_::{closure#0}::assert_impl_all`
79  --> tests/ui-stable/derive_transparent.rs:39:1
80   |
8139 | assert_impl_all!(TransparentStruct<NotZerocopy>: AsBytes);
82   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `assert_impl_all`
83   = note: this error originates in the derive macro `AsBytes` which comes from the expansion of the macro `assert_impl_all` (in Nightly builds, run with -Z macro-backtrace for more info)
84
85error[E0277]: the trait bound `NotZerocopy: Unaligned` is not satisfied
86  --> tests/ui-stable/derive_transparent.rs:40:18
87   |
8840 | assert_impl_all!(TransparentStruct<NotZerocopy>: Unaligned);
89   |                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Unaligned` is not implemented for `NotZerocopy`, which is required by `TransparentStruct<NotZerocopy>: Unaligned`
90   |
91   = help: the following other types implement trait `Unaligned`:
92             ()
93             F32<O>
94             F64<O>
95             I128<O>
96             I16<O>
97             I32<O>
98             I64<O>
99             ManuallyDrop<T>
100           and $N others
101note: required for `TransparentStruct<NotZerocopy>` to implement `Unaligned`
102  --> tests/ui-stable/derive_transparent.rs:27:42
103   |
10427 | #[derive(AsBytes, FromZeroes, FromBytes, Unaligned)]
105   |                                          ^^^^^^^^^ unsatisfied trait bound introduced in this `derive` macro
106note: required by a bound in `_::{closure#0}::assert_impl_all`
107  --> tests/ui-stable/derive_transparent.rs:40:1
108   |
10940 | assert_impl_all!(TransparentStruct<NotZerocopy>: Unaligned);
110   | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ required by this bound in `assert_impl_all`
111   = note: this error originates in the derive macro `Unaligned` which comes from the expansion of the macro `assert_impl_all` (in Nightly builds, run with -Z macro-backtrace for more info)
112