1 error[E0277]: the trait bound `T: Copy` is not satisfied
2 --> $DIR/wf-trait-superbound.rs:9:21
4 LL | trait ExtraCopy<T:Copy> { }
5 | ---- required by this bound in `ExtraCopy`
7 LL | trait SomeTrait<T>: ExtraCopy<T> {
8 | ^^^^^^^^^^^^ the trait `Copy` is not implemented for `T`
10 help: consider restricting type parameter `T`
12 LL | trait SomeTrait<T: Copy>: ExtraCopy<T> {
15 error: aborting due to previous error
17 For more information about this error, try `rustc --explain E0277`.