| error[E0277]: the trait bound `dyn Setup<From = T>: Setup` is not satisfied |
| --> $DIR/object-unsafety.rs:12:12 |
| | |
| LL | copy::<dyn Setup<From=T>>(t) |
| | ^^^^^^^^^^^^^^^^^ the trait `Setup` is not implemented for `dyn Setup<From = T>` |
| | |
| note: required by a bound in `copy` |
| --> $DIR/object-unsafety.rs:7:12 |
| | |
| LL | fn copy<U: Setup + ?Sized>(from: &U::From) -> U::From { |
| | ^^^^^ required by this bound in `copy` |
| help: consider introducing a `where` clause, but there might be an alternative better way to express this requirement |
| | |
| LL | pub fn copy_any<T>(t: &T) -> T where dyn Setup<From = T>: Setup { |
| | ++++++++++++++++++++++++++++++++ |
| |
| error: the type `&<dyn Setup<From = T> as Setup>::From` is not well-formed |
| --> $DIR/object-unsafety.rs:12:31 |
| | |
| LL | copy::<dyn Setup<From=T>>(t) |
| | ^ |
| |
| error[E0308]: mismatched types |
| --> $DIR/object-unsafety.rs:12:31 |
| | |
| LL | copy::<dyn Setup<From=T>>(t) |
| | ------------------------- ^ types differ |
| | | |
| | arguments to this function are incorrect |
| | |
| = note: expected reference `&<dyn Setup<From = T> as Setup>::From` |
| found reference `&T` |
| note: function defined here |
| --> $DIR/object-unsafety.rs:7:4 |
| | |
| LL | fn copy<U: Setup + ?Sized>(from: &U::From) -> U::From { |
| | ^^^^ -------------- |
| |
| error: the type `<dyn Setup<From = T> as Setup>::From` is not well-formed |
| --> $DIR/object-unsafety.rs:12:5 |
| | |
| LL | copy::<dyn Setup<From=T>>(t) |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| |
| error: aborting due to 4 previous errors |
| |
| Some errors have detailed explanations: E0277, E0308. |
| For more information about an error, try `rustc --explain E0277`. |