src/test/ui/compare-method/traits-misc-mismatch-1.stderr

   1 error[E0276]: impl has stricter requirements than trait
   2   --> $DIR/traits-misc-mismatch-1.rs:27:26
   3    |
   4 LL |     fn test_error1_fn<T: Eq>(&self);
   5    |     -------------------------------- definition of `test_error1_fn` from trait
   6 ...
   7 LL |     fn test_error1_fn<T: Ord>(&self) {}
   8    |                          ^^^ impl has extra requirement `T: Ord`
   9
  10 error[E0276]: impl has stricter requirements than trait
  11   --> $DIR/traits-misc-mismatch-1.rs:31:31
  12    |
  13 LL |     fn test_error2_fn<T: Eq + Ord>(&self);
  14    |     -------------------------------------- definition of `test_error2_fn` from trait
  15 ...
  16 LL |     fn test_error2_fn<T: Eq + B>(&self) {}
  17    |                               ^ impl has extra requirement `T: B`
  18
  19 error[E0276]: impl has stricter requirements than trait
  20   --> $DIR/traits-misc-mismatch-1.rs:35:26
  21    |
  22 LL |     fn test_error3_fn<T: Eq + Ord>(&self);
  23    |     -------------------------------------- definition of `test_error3_fn` from trait
  24 ...
  25 LL |     fn test_error3_fn<T: B + Eq>(&self) {}
  26    |                          ^ impl has extra requirement `T: B`
  27
  28 error[E0276]: impl has stricter requirements than trait
  29   --> $DIR/traits-misc-mismatch-1.rs:45:26
  30    |
  31 LL |     fn test_error5_fn<T: A>(&self);
  32    |     ------------------------------- definition of `test_error5_fn` from trait
  33 ...
  34 LL |     fn test_error5_fn<T: B>(&self) {}
  35    |                          ^ impl has extra requirement `T: B`
  36
  37 error[E0276]: impl has stricter requirements than trait
  38   --> $DIR/traits-misc-mismatch-1.rs:51:30
  39    |
  40 LL |     fn test_error7_fn<T: A>(&self);
  41    |     ------------------------------- definition of `test_error7_fn` from trait
  42 ...
  43 LL |     fn test_error7_fn<T: A + Eq>(&self) {}
  44    |                              ^^ impl has extra requirement `T: Eq`
  45
  46 error[E0276]: impl has stricter requirements than trait
  47   --> $DIR/traits-misc-mismatch-1.rs:54:26
  48    |
  49 LL |     fn test_error8_fn<T: B>(&self);
  50    |     ------------------------------- definition of `test_error8_fn` from trait
  51 ...
  52 LL |     fn test_error8_fn<T: C>(&self) {}
  53    |                          ^ impl has extra requirement `T: C`
  54
  55 error[E0276]: impl has stricter requirements than trait
  56   --> $DIR/traits-misc-mismatch-1.rs:67:18
  57    |
  58 LL |     fn method<G:Getter<isize>>(&self);
  59    |     ---------------------------------- definition of `method` from trait
  60 ...
  61 LL |     fn method<G: Getter<usize>>(&self) {}
  62    |                  ^^^^^^^^^^^^^ impl has extra requirement `G: Getter<usize>`
  63
  64 error: aborting due to 7 previous errors
  65
  66 For more information about this error, try `rustc --explain E0276`.