| error[E0412]: cannot find type `PhantomData` in this scope |
| --> $DIR/issue-78372.rs:2:23 |
| | |
| LL | struct Smaht<T, MISC>(PhantomData); |
| | ^^^^^^^^^^^ not found in this scope |
| | |
| help: consider importing this struct |
| | |
| LL + use std::marker::PhantomData; |
| | |
| |
| error[E0412]: cannot find type `U` in this scope |
| --> $DIR/issue-78372.rs:3:31 |
| | |
| LL | impl<T> DispatchFromDyn<Smaht<U, MISC>> for T {} |
| | - ^ |
| | | |
| | similarly named type parameter `T` defined here |
| | |
| help: a type parameter with a similar name exists |
| | |
| LL | impl<T> DispatchFromDyn<Smaht<T, MISC>> for T {} |
| | ~ |
| help: you might be missing a type parameter |
| | |
| LL | impl<T, U> DispatchFromDyn<Smaht<U, MISC>> for T {} |
| | +++ |
| |
| error[E0412]: cannot find type `MISC` in this scope |
| --> $DIR/issue-78372.rs:3:34 |
| | |
| LL | impl<T> DispatchFromDyn<Smaht<U, MISC>> for T {} |
| | ^^^^ not found in this scope |
| | |
| help: you might be missing a type parameter |
| | |
| LL | impl<T, MISC> DispatchFromDyn<Smaht<U, MISC>> for T {} |
| | ++++++ |
| |
| error[E0658]: use of unstable library feature 'dispatch_from_dyn' |
| --> $DIR/issue-78372.rs:1:5 |
| | |
| LL | use std::ops::DispatchFromDyn; |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^ |
| | |
| = help: add `#![feature(dispatch_from_dyn)]` to the crate attributes to enable |
| = note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date |
| |
| error[E0658]: use of unstable library feature 'dispatch_from_dyn' |
| --> $DIR/issue-78372.rs:3:9 |
| | |
| LL | impl<T> DispatchFromDyn<Smaht<U, MISC>> for T {} |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| | |
| = help: add `#![feature(dispatch_from_dyn)]` to the crate attributes to enable |
| = note: this compiler was built on YYYY-MM-DD; consider upgrading it if it is out of date |
| |
| error[E0038]: the trait `Foo` cannot be made into an object |
| --> $DIR/issue-78372.rs:12:17 |
| | |
| LL | fn foo(self: Smaht<Self, T>); |
| | -------------- help: consider changing method `foo`'s `self` parameter to be `&self`: `&Self` |
| ... |
| LL | impl Marker for dyn Foo {} |
| | ^^^^^^^ `Foo` cannot be made into an object |
| | |
| note: for a trait to be "dyn-compatible" 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> |
| --> $DIR/issue-78372.rs:9:18 |
| | |
| LL | trait Foo: X<u32> {} |
| | --- this trait cannot be made into an object... |
| LL | trait X<T> { |
| LL | fn foo(self: Smaht<Self, T>); |
| | ^^^^^^^^^^^^^^ ...because method `foo`'s `self` parameter cannot be dispatched on |
| |
| error[E0307]: invalid `self` parameter type: `Smaht<Self, T>` |
| --> $DIR/issue-78372.rs:9:18 |
| | |
| LL | fn foo(self: Smaht<Self, T>); |
| | ^^^^^^^^^^^^^^ |
| | |
| = note: type of `self` must be `Self` or a type that dereferences to it |
| = 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`) |
| |
| error[E0378]: the trait `DispatchFromDyn` may only be implemented for a coercion between structures |
| --> $DIR/issue-78372.rs:3:1 |
| | |
| LL | impl<T> DispatchFromDyn<Smaht<U, MISC>> for T {} |
| | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ |
| |
| error: aborting due to 8 previous errors |
| |
| Some errors have detailed explanations: E0038, E0307, E0378, E0412, E0658. |
| For more information about an error, try `rustc --explain E0038`. |