d7d6238b23
This is consistent with all other diagnostics I could find containing features and enables the use of `DiagSymbolList` for generalizing diagnostics for unstable library features to multiple features.
95 lines
3.5 KiB
Plaintext
95 lines
3.5 KiB
Plaintext
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`.
|