about summary refs log tree commit diff
path: root/tests/ui/traits/object/canonicalize-fresh-infer-vars-issue-103626.stderr
blob: 707aa9e9713dbecab67d8b9b310f1bbaca866f59 (plain)
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
error[E0038]: the trait `FromResidual` is not dyn compatible
  --> $DIR/canonicalize-fresh-infer-vars-issue-103626.rs:10:17
   |
LL |     let b: &dyn FromResidual = &();
   |                 ^^^^^^^^^^^^ `FromResidual` 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/canonicalize-fresh-infer-vars-issue-103626.rs:2:8
   |
LL | trait FromResidual<R = <Self as Try>::Residual> {
   |       ------------ this trait is not dyn compatible...
LL |     fn from_residual(residual: R) -> Self;
   |        ^^^^^^^^^^^^^ ...because associated function `from_residual` has no `self` parameter
help: consider turning `from_residual` into a method by giving it a `&self` argument
   |
LL |     fn from_residual(&self, residual: R) -> Self;
   |                      ++++++
help: alternatively, consider constraining `from_residual` so it does not apply to trait objects
   |
LL |     fn from_residual(residual: R) -> Self where Self: Sized;
   |                                           +++++++++++++++++

error: aborting due to 1 previous error

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