error[E0277]: the trait bound `T: Copy` is not satisfied --> $DIR/issue-43784-supertrait.rs:8:9 | LL | impl Complete for T {} | ^^^^^^^^ the trait `Copy` is not implemented for `T` | note: required by a bound in `Complete` --> $DIR/issue-43784-supertrait.rs:4:21 | LL | pub trait Complete: Partial { | ^^^^^^^ required by this bound in `Complete` help: consider restricting type parameter `T` | LL | impl Complete for T {} | +++++++++++++++++++ error: aborting due to previous error For more information about this error, try `rustc --explain E0277`.