--> $DIR/wf-in-fn-type-ret.rs:9:5
|
LL | struct MustBeCopy<T:Copy> {
- | ------------------------- required by `MustBeCopy`
+ | ---- required by this bound in `MustBeCopy`
...
LL | x: fn() -> MustBeCopy<T>
| ^^^^^^^^^^^^^^^^^^^^^^^^ the trait `std::marker::Copy` is not implemented for `T`
|
-help: consider restricting this type parameter with `T: std::marker::Copy`
- --> $DIR/wf-in-fn-type-ret.rs:7:12
+help: consider restricting type parameter `T`
|
-LL | struct Foo<T> {
- | ^
+LL | struct Foo<T: std::marker::Copy> {
+ | ^^^^^^^^^^^^^^^^^^^
error: aborting due to previous error