File: mention-correct-dyn-incompatible-trait.stderr

package info (click to toggle)
rustc 1.87.0%2Bdfsg1-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 925,564 kB
  • sloc: xml: 158,127; python: 36,039; javascript: 19,761; sh: 19,737; cpp: 18,981; ansic: 13,133; asm: 4,376; makefile: 710; perl: 29; lisp: 28; ruby: 19; sql: 11
file content (40 lines) | stat: -rw-r--r-- 1,768 bytes parent folder | download | duplicates (4)
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
32
33
34
35
36
37
38
39
40
error[E0038]: the trait `Bar` is not dyn compatible
  --> $DIR/mention-correct-dyn-incompatible-trait.rs:19:15
   |
LL |     let test: &mut dyn Bar = &mut thing;
   |               ^^^^^^^^^^^^ `Bar` is not dyn compatible
   |
note: for a trait to be dyn compatible it needs to allow building a vtable
      for more information, visit <https://doc.rust-lang.org/reference/items/traits.html#dyn-compatibility>
  --> $DIR/mention-correct-dyn-incompatible-trait.rs:4:8
   |
LL |     fn foo<T>(&self, val: T);
   |        ^^^ ...because method `foo` has generic type parameters
...
LL | trait Bar: Foo { }
   |       --- this trait is not dyn compatible...
   = help: consider moving `foo` to another trait
   = help: only type `Thing` implements `Bar`; consider using it directly instead.

error[E0038]: the trait `Bar` is not dyn compatible
  --> $DIR/mention-correct-dyn-incompatible-trait.rs:19:30
   |
LL |     let test: &mut dyn Bar = &mut thing;
   |                              ^^^^^^^^^^ `Bar` is not dyn compatible
   |
note: for a trait to be dyn compatible it needs to allow building a vtable
      for more information, visit <https://doc.rust-lang.org/reference/items/traits.html#dyn-compatibility>
  --> $DIR/mention-correct-dyn-incompatible-trait.rs:4:8
   |
LL |     fn foo<T>(&self, val: T);
   |        ^^^ ...because method `foo` has generic type parameters
...
LL | trait Bar: Foo { }
   |       --- this trait is not dyn compatible...
   = help: consider moving `foo` to another trait
   = help: only type `Thing` implements `Bar`; consider using it directly instead.
   = note: required for the cast from `&mut Thing` to `&mut dyn Bar`

error: aborting due to 2 previous errors

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