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