src/test/ui/compare-method/reordered-type-param.stderr

   1 error[E0053]: method `b` has an incompatible type for trait
   2   --> $DIR/reordered-type-param.rs:16:30
   3    |
   4 LL |   fn b<C:Clone,D>(&self, x: C) -> C;
   5    |                             - type in trait
   6 ...
   7 LL |   fn b<F:Clone,G>(&self, _x: G) -> G { panic!() }
   8    |        -       -             ^ expected type parameter `F`, found type parameter `G`
   9    |        |       |
  10    |        |       found type parameter
  11    |        expected type parameter
  12    |
  13    = note: expected fn pointer `fn(&E, F) -> F`
  14               found fn pointer `fn(&E, G) -> G`
  15    = note: a type parameter was expected, but a different one was found; you might be missing a type parameter or trait bound
  16    = note: for more information, visit https://doc.rust-lang.org/book/ch10-02-traits.html#traits-as-parameters
  17
  18 error: aborting due to previous error
  19
  20 For more information about this error, try `rustc --explain E0053`.