error[E0277]: the trait bound `String: Copy` is not satisfied
  --> $DIR/unsatisfied-bounds-inferred-type.rs:11:12
   |
LL |     let _: S<_>::T = String::new();
   |            ^^^^^^^ the trait `Copy` is not implemented for `String`
   |
note: required by a bound in `S<T>::T`
  --> $DIR/unsatisfied-bounds-inferred-type.rs:6:9
   |
LL | impl<T: Copy> S<T> {
   |         ^^^^ required by this bound in `S<T>::T`
LL |     type T = T;
   |          - required by a bound in this associated type

error: aborting due to previous error

For more information about this error, try `rustc --explain E0277`.