1error[E0277]: the trait bound `Box<T>: Copy` is not satisfied 2 --> $DIR/issue-74824.rs:7:5 3 | 4LL | type Copy<T>: Copy = Box<T>; 5 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Copy` is not implemented for `Box<T>` 6 | 7note: required by a bound in `UnsafeCopy::Copy` 8 --> $DIR/issue-74824.rs:7:19 9 | 10LL | type Copy<T>: Copy = Box<T>; 11 | ^^^^ required by this bound in `UnsafeCopy::Copy` 12 13error[E0277]: the trait bound `T: Clone` is not satisfied 14 --> $DIR/issue-74824.rs:7:5 15 | 16LL | type Copy<T>: Copy = Box<T>; 17 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `Clone` is not implemented for `T` 18 | 19 = note: required because of the requirements on the impl of `Clone` for `Box<T>` 20note: required by a bound in `UnsafeCopy::Copy` 21 --> $DIR/issue-74824.rs:7:19 22 | 23LL | type Copy<T>: Copy = Box<T>; 24 | ^^^^ required by this bound in `UnsafeCopy::Copy` 25help: consider restricting type parameter `T` 26 | 27LL | type Copy<T: std::clone::Clone>: Copy = Box<T>; 28 | +++++++++++++++++++ 29 30error: aborting due to 2 previous errors 31 32For more information about this error, try `rustc --explain E0277`. 33