| error[E0276]: impl has stricter requirements than trait |
| --> $DIR/traits-misc-mismatch-1.rs:27:26 |
| | |
| LL | fn test_error1_fn<T: Eq>(&self); |
| | -------------------------------- definition of `test_error1_fn` from trait |
| ... |
| LL | fn test_error1_fn<T: Ord>(&self) {} |
| | ^^^ impl has extra requirement `T: Ord` |
| |
| error[E0276]: impl has stricter requirements than trait |
| --> $DIR/traits-misc-mismatch-1.rs:31:31 |
| | |
| LL | fn test_error2_fn<T: Eq + Ord>(&self); |
| | -------------------------------------- definition of `test_error2_fn` from trait |
| ... |
| LL | fn test_error2_fn<T: Eq + B>(&self) {} |
| | ^ impl has extra requirement `T: B` |
| |
| error[E0276]: impl has stricter requirements than trait |
| --> $DIR/traits-misc-mismatch-1.rs:35:26 |
| | |
| LL | fn test_error3_fn<T: Eq + Ord>(&self); |
| | -------------------------------------- definition of `test_error3_fn` from trait |
| ... |
| LL | fn test_error3_fn<T: B + Eq>(&self) {} |
| | ^ impl has extra requirement `T: B` |
| |
| error[E0276]: impl has stricter requirements than trait |
| --> $DIR/traits-misc-mismatch-1.rs:45:26 |
| | |
| LL | fn test_error5_fn<T: A>(&self); |
| | ------------------------------- definition of `test_error5_fn` from trait |
| ... |
| LL | fn test_error5_fn<T: B>(&self) {} |
| | ^ impl has extra requirement `T: B` |
| |
| error[E0276]: impl has stricter requirements than trait |
| --> $DIR/traits-misc-mismatch-1.rs:51:30 |
| | |
| LL | fn test_error7_fn<T: A>(&self); |
| | ------------------------------- definition of `test_error7_fn` from trait |
| ... |
| LL | fn test_error7_fn<T: A + Eq>(&self) {} |
| | ^^ impl has extra requirement `T: Eq` |
| |
| error[E0276]: impl has stricter requirements than trait |
| --> $DIR/traits-misc-mismatch-1.rs:54:26 |
| | |
| LL | fn test_error8_fn<T: B>(&self); |
| | ------------------------------- definition of `test_error8_fn` from trait |
| ... |
| LL | fn test_error8_fn<T: C>(&self) {} |
| | ^ impl has extra requirement `T: C` |
| |
| error[E0276]: impl has stricter requirements than trait |
| --> $DIR/traits-misc-mismatch-1.rs:67:18 |
| | |
| LL | fn method<G:Getter<isize>>(&self); |
| | ---------------------------------- definition of `method` from trait |
| ... |
| LL | fn method<G: Getter<usize>>(&self) {} |
| | ^^^^^^^^^^^^^ impl has extra requirement `G: Getter<usize>` |
| |
| error: aborting due to 7 previous errors |
| |
| For more information about this error, try `rustc --explain E0276`. |