1 error[E0277]: the trait bound `[i32]: Index<u32>` is not satisfied
2 --> $DIR/on-impl.rs:22:47
4 LL | Index::<u32>::index(&[1, 2, 3] as &[i32], 2u32);
5 | ------------------- ^^^^ a usize is required to index into a slice
7 | required by a bound introduced by this call
9 = help: the trait `Index<u32>` is not implemented for `[i32]`
10 = help: the trait `Index<usize>` is implemented for `[i32]`
12 error[E0277]: the trait bound `[i32]: Index<u32>` is not satisfied
13 --> $DIR/on-impl.rs:22:5
15 LL | Index::<u32>::index(&[1, 2, 3] as &[i32], 2u32);
16 | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ a usize is required to index into a slice
18 = help: the trait `Index<u32>` is not implemented for `[i32]`
19 = help: the trait `Index<usize>` is implemented for `[i32]`
21 error[E0277]: the trait bound `[i32]: Index<u32>` is not satisfied
22 --> $DIR/on-impl.rs:22:5
24 LL | Index::<u32>::index(&[1, 2, 3] as &[i32], 2u32);
25 | ^^^^^^^^^^^^^^^^^^^ a usize is required to index into a slice
27 = help: the trait `Index<u32>` is not implemented for `[i32]`
28 = help: the trait `Index<usize>` is implemented for `[i32]`
30 error: aborting due to 3 previous errors
32 For more information about this error, try `rustc --explain E0277`.