src/test/ui/traits/issue-78372.stderr

   1 error[E0412]: cannot find type `PhantomData` in this scope
   2   --> $DIR/issue-78372.rs:2:23
   3    |
   4 LL | struct Smaht<T, MISC>(PhantomData);
   5    |                       ^^^^^^^^^^^ not found in this scope
   6    |
   7 help: consider importing this struct
   8    |
   9 LL | use std::marker::PhantomData;
  10    |
  11
  12 error[E0412]: cannot find type `U` in this scope
  13   --> $DIR/issue-78372.rs:3:31
  14    |
  15 LL | impl<T> DispatchFromDyn<Smaht<U, MISC>> for T {}
  16    |      -                        ^
  17    |      |
  18    |      similarly named type parameter `T` defined here
  19    |
  20 help: a type parameter with a similar name exists
  21    |
  22 LL | impl<T> DispatchFromDyn<Smaht<T, MISC>> for T {}
  23    |                               ^
  24 help: you might be missing a type parameter
  25    |
  26 LL | impl<T, U> DispatchFromDyn<Smaht<U, MISC>> for T {}
  27    |       ^^^
  28
  29 error[E0412]: cannot find type `MISC` in this scope
  30   --> $DIR/issue-78372.rs:3:34
  31    |
  32 LL | impl<T> DispatchFromDyn<Smaht<U, MISC>> for T {}
  33    |       -                          ^^^^ not found in this scope
  34    |       |
  35    |       help: you might be missing a type parameter: `, MISC`
  36
  37 error[E0658]: use of unstable library feature 'dispatch_from_dyn'
  38   --> $DIR/issue-78372.rs:1:5
  39    |
  40 LL | use std::ops::DispatchFromDyn;
  41    |     ^^^^^^^^^^^^^^^^^^^^^^^^^
  42    |
  43    = help: add `#![feature(dispatch_from_dyn)]` to the crate attributes to enable
  44
  45 error[E0658]: use of unstable library feature 'dispatch_from_dyn'
  46   --> $DIR/issue-78372.rs:3:9
  47    |
  48 LL | impl<T> DispatchFromDyn<Smaht<U, MISC>> for T {}
  49    |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  50    |
  51    = help: add `#![feature(dispatch_from_dyn)]` to the crate attributes to enable
  52
  53 error[E0378]: the trait `DispatchFromDyn` may only be implemented for a coercion between structures
  54   --> $DIR/issue-78372.rs:3:1
  55    |
  56 LL | impl<T> DispatchFromDyn<Smaht<U, MISC>> for T {}
  57    | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  58
  59 error[E0210]: type parameter `T` must be covered by another type when it appears before the first local type (`Smaht<[type error], [type error]>`)
  60   --> $DIR/issue-78372.rs:3:6
  61    |
  62 LL | impl<T> DispatchFromDyn<Smaht<U, MISC>> for T {}
  63    |      ^ type parameter `T` must be covered by another type when it appears before the first local type (`Smaht<[type error], [type error]>`)
  64    |
  65    = note: implementing a foreign trait is only possible if at least one of the types for which it is implemented is local, and no uncovered type parameters appear before that first local type
  66    = note: in this case, 'before' refers to the following order: `impl<..> ForeignTrait<T1, ..., Tn> for T0`, where `T0` is the first and `Tn` is the last
  67
  68 error: aborting due to 7 previous errors
  69
  70 Some errors have detailed explanations: E0210, E0378, E0412, E0658.
  71 For more information about an error, try `rustc --explain E0210`.