1 error[E0277]: the trait bound `[i32]: Index<u32>` is not satisfied
2 --> $DIR/on-impl.rs:22:5
4 LL | Index::<u32>::index(&[1, 2, 3] as &[i32], 2u32);
5 | ^^^^^^^^^^^^^^^^^^^ a usize is required to index into a slice
7 = help: the trait `Index<u32>` is not implemented for `[i32]`
8 note: required by `Index::index`
9 --> $DIR/on-impl.rs:9:5
11 LL | fn index(&self, index: Idx) -> &Self::Output;
12 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
14 error[E0277]: the trait bound `[i32]: Index<u32>` is not satisfied
15 --> $DIR/on-impl.rs:22:5
17 LL | Index::<u32>::index(&[1, 2, 3] as &[i32], 2u32);
18 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ a usize is required to index into a slice
20 = help: the trait `Index<u32>` is not implemented for `[i32]`
22 error: aborting due to 2 previous errors
24 For more information about this error, try `rustc --explain E0277`.