1error[E0277]: the trait bound `NotZerocopy: zerocopy::Immutable` is not satisfied 2 --> tests/ui-stable/diagnostic-not-implemented-immutable.rs:18:23 3 | 418 | takes_immutable::<NotZerocopy>(); 5 | ^^^^^^^^^^^ the trait `zerocopy::Immutable` is not implemented for `NotZerocopy` 6 | 7 = note: Consider adding `#[derive(Immutable)]` to `NotZerocopy` 8 = help: the following other types implement trait `zerocopy::Immutable`: 9 &T 10 &mut T 11 () 12 *const T 13 *mut T 14 AU16 15 Box<T> 16 F32<O> 17 and $N others 18note: required by a bound in `takes_immutable` 19 --> tests/ui-stable/diagnostic-not-implemented-immutable.rs:21:23 20 | 2121 | fn takes_immutable<T: Immutable>() {} 22 | ^^^^^^^^^ required by this bound in `takes_immutable` 23