src/test/ui/kindck/kindck-impl-type-params-2.stderr

   1 error[E0277]: the trait bound `std::boxed::Box<{integer}>: std::marker::Copy` is not satisfied
   2   --> $DIR/kindck-impl-type-params-2.rs:23:5
   3    |
   4 LL |     take_param(&x);
   5    |     ^^^^^^^^^^ the trait `std::marker::Copy` is not implemented for `std::boxed::Box<{integer}>`
   6    |
   7    = note: required because of the requirements on the impl of `Foo` for `std::boxed::Box<{integer}>`
   8 note: required by `take_param`
   9   --> $DIR/kindck-impl-type-params-2.rs:19:1
  10    |
  11 LL | fn take_param<T:Foo>(foo: &T) { }
  12    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  13
  14 error: aborting due to previous error
  15
  16 For more information about this error, try `rustc --explain E0277`.