about summary refs log tree commit diff
path: root/tests/ui/dyn-compatibility/avoid-ice-on-warning-2.new.stderr
blob: 4c4cb45293fe167947a9040b1e7188f3e56c3577 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
error[E0782]: expected a type, found a trait
  --> $DIR/avoid-ice-on-warning-2.rs:4:13
   |
LL | fn id<F>(f: Copy) -> usize {
   |             ^^^^
   |
   = note: `Copy` is dyn-incompatible, otherwise a trait object could be used
help: use a new generic type parameter, constrained by `Copy`
   |
LL - fn id<F>(f: Copy) -> usize {
LL + fn id<F, T: Copy>(f: T) -> usize {
   |
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 id<F>(f: impl Copy) -> usize {
   |             ++++

error: aborting due to 1 previous error

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