error[E0277]: the trait bound `S: Clone` is not satisfied --> $DIR/issue-1920-2.rs:10:20 | LL | assert_clone::(); | ^^^^^^ the trait `Clone` is not implemented for `S` | note: required by a bound in `assert_clone` --> $DIR/issue-1920-2.rs:7:32 | LL | fn assert_clone() where T : Clone { } | ^^^^^ required by this bound in `assert_clone` error: aborting due to previous error For more information about this error, try `rustc --explain E0277`.