| error[E0276]: impl has stricter requirements than trait |
| --> $DIR/traits-misc-mismatch-1.rs:36:5 |
| | |
| 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: std::cmp::Ord` |
| |
| error[E0276]: impl has stricter requirements than trait |
| --> $DIR/traits-misc-mismatch-1.rs:40:5 |
| | |
| 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:44:5 |
| | |
| 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:54:5 |
| | |
| 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:60:5 |
| | |
| 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: std::cmp::Eq` |
| |
| error[E0276]: impl has stricter requirements than trait |
| --> $DIR/traits-misc-mismatch-1.rs:63:5 |
| | |
| 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:76:5 |
| | |
| 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`. |