1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
error[E0782]: expected a type, found a trait
--> $DIR/ice-return-unsized-can-impl.rs:10:15
|
LL | fn g(new: B) -> B;
| ^
|
= note: `B` is dyn-incompatible, otherwise a trait object could be used
help: use a new generic type parameter, constrained by `B`
|
LL - fn g(new: B) -> B;
LL + fn g<T: B>(new: T) -> B;
|
help: you can also use an opaque type, but users won't be able to specify the type parameter when calling the `fn`, having to rely exclusively on type inference
|
LL | fn g(new: impl B) -> B;
| ++++
error[E0782]: expected a type, found a trait
--> $DIR/ice-return-unsized-can-impl.rs:10:21
|
LL | fn g(new: B) -> B;
| ^
|
help: `B` is dyn-incompatible, use `impl B` to return an opaque type, as long as you return a single underlying type
|
LL | fn g(new: B) -> impl B;
| ++++
error: aborting due to 2 previous errors
For more information about this error, try `rustc --explain E0782`.
|
