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:26:30
   3    |
   4 17 |   fn b<C:Clone,D>(&self, x: C) -> C;
   5    |                             - type in trait
   6 ...
   7 26 |   fn b<F:Clone,G>(&self, _x: G) -> G { panic!() } //~ ERROR method `b` has an incompatible type
   8    |                              ^ expected type parameter, found a different type parameter
   9    |
  10    = note: expected type `fn(&E, F) -> F`
  11    = note:    found type `fn(&E, G) -> G`
  12
  13 error: aborting due to previous error
  14