-error[E0277]: the trait bound `T: std::marker::Copy` is not satisfied
- --> $DIR/wf-in-fn-arg.rs:10:1
+error[E0277]: the trait bound `T: Copy` is not satisfied
+ --> $DIR/wf-in-fn-arg.rs:10:14
|
-LL | struct MustBeCopy<T:Copy> {
- | ------------------------- required by `MustBeCopy`
+LL | struct MustBeCopy<T:Copy> {
+ | ---- required by this bound in `MustBeCopy`
...
-LL | / fn bar<T>(_: &MustBeCopy<T>)
-LL | | {
-LL | | }
- | |_^ the trait `std::marker::Copy` is not implemented for `T`
+LL | fn bar<T>(_: &MustBeCopy<T>)
+ | ^^^^^^^^^^^^^^ the trait `Copy` is not implemented for `T`
|
- = help: consider adding a `where T: std::marker::Copy` bound
+help: consider restricting type parameter `T`
+ |
+LL | fn bar<T: std::marker::Copy>(_: &MustBeCopy<T>)
+ | ^^^^^^^^^^^^^^^^^^^
error: aborting due to previous error