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