]> git.lizzy.rs Git - rust.git/blob - tests/ui/suggestions/object-unsafe-trait-should-use-where-sized.stderr
Auto merge of #106696 - kylematsuda:early-binder, r=lcnr
[rust.git] / tests / ui / suggestions / object-unsafe-trait-should-use-where-sized.stderr
1 error[E0038]: the trait `Trait` cannot be made into an object
2   --> $DIR/object-unsafe-trait-should-use-where-sized.rs:9:12
3    |
4 LL | fn bar(x: &dyn Trait) {}
5    |            ^^^^^^^^^ `Trait` cannot be made into an object
6    |
7 note: for a trait to be "object safe" it needs to allow building a vtable to allow the call to be resolvable dynamically; for more information visit <https://doc.rust-lang.org/reference/items/traits.html#object-safety>
8   --> $DIR/object-unsafe-trait-should-use-where-sized.rs:5:8
9    |
10 LL | trait Trait {
11    |       ----- this trait cannot be made into an object...
12 LL |     fn foo() where Self: Other, { }
13    |        ^^^ ...because associated function `foo` has no `self` parameter
14 LL |     fn bar(self: ()) {}
15    |                  ^^ ...because method `bar`'s `self` parameter cannot be dispatched on
16 help: consider turning `foo` into a method by giving it a `&self` argument
17    |
18 LL |     fn foo(&self) where Self: Other, { }
19    |            +++++
20 help: alternatively, consider constraining `foo` so it does not apply to trait objects
21    |
22 LL |     fn foo() where Self: Other, Self: Sized { }
23    |                               ~~~~~~~~~~~~~
24 help: consider changing method `bar`'s `self` parameter to be `&self`
25    |
26 LL |     fn bar(self: &Self) {}
27    |                  ~~~~~
28
29 error[E0307]: invalid `self` parameter type: ()
30   --> $DIR/object-unsafe-trait-should-use-where-sized.rs:6:18
31    |
32 LL |     fn bar(self: ()) {}
33    |                  ^^
34    |
35    = note: type of `self` must be `Self` or a type that dereferences to it
36    = help: consider changing to `self`, `&self`, `&mut self`, `self: Box<Self>`, `self: Rc<Self>`, `self: Arc<Self>`, or `self: Pin<P>` (where P is one of the previous types except `Self`)
37
38 error: aborting due to 2 previous errors
39
40 Some errors have detailed explanations: E0038, E0307.
41 For more information about an error, try `rustc --explain E0038`.