tests/ui/on-unimplemented/multiple-impls.stderr

   1 error[E0277]: the trait bound `[i32]: Index<u32>` is not satisfied
   2   --> $DIR/multiple-impls.rs:33:33
   3    |
   4 LL |     Index::index(&[] as &[i32], 2u32);
   5    |     ------------                ^^^^ trait message
   6    |     |
   7    |     required by a bound introduced by this call
   8    |
   9    = help: the trait `Index<u32>` is not implemented for `[i32]`
  10    = help: the following other types implement trait `Index<Idx>`:
  11              <[i32] as Index<Bar<usize>>>
  12              <[i32] as Index<Foo<usize>>>
  13
  14 error[E0277]: the trait bound `[i32]: Index<u32>` is not satisfied
  15   --> $DIR/multiple-impls.rs:33:5
  16    |
  17 LL |     Index::index(&[] as &[i32], 2u32);
  18    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ trait message
  19    |
  20    = help: the trait `Index<u32>` is not implemented for `[i32]`
  21    = help: the following other types implement trait `Index<Idx>`:
  22              <[i32] as Index<Bar<usize>>>
  23              <[i32] as Index<Foo<usize>>>
  24
  25 error[E0277]: the trait bound `[i32]: Index<Foo<u32>>` is not satisfied
  26   --> $DIR/multiple-impls.rs:37:33
  27    |
  28 LL |     Index::index(&[] as &[i32], Foo(2u32));
  29    |     ------------                ^^^^^^^^^ on impl for Foo
  30    |     |
  31    |     required by a bound introduced by this call
  32    |
  33    = help: the trait `Index<Foo<u32>>` is not implemented for `[i32]`
  34    = help: the following other types implement trait `Index<Idx>`:
  35              <[i32] as Index<Bar<usize>>>
  36              <[i32] as Index<Foo<usize>>>
  37
  38 error[E0277]: the trait bound `[i32]: Index<Foo<u32>>` is not satisfied
  39   --> $DIR/multiple-impls.rs:37:5
  40    |
  41 LL |     Index::index(&[] as &[i32], Foo(2u32));
  42    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ on impl for Foo
  43    |
  44    = help: the trait `Index<Foo<u32>>` is not implemented for `[i32]`
  45    = help: the following other types implement trait `Index<Idx>`:
  46              <[i32] as Index<Bar<usize>>>
  47              <[i32] as Index<Foo<usize>>>
  48
  49 error[E0277]: the trait bound `[i32]: Index<Bar<u32>>` is not satisfied
  50   --> $DIR/multiple-impls.rs:41:33
  51    |
  52 LL |     Index::index(&[] as &[i32], Bar(2u32));
  53    |     ------------                ^^^^^^^^^ on impl for Bar
  54    |     |
  55    |     required by a bound introduced by this call
  56    |
  57    = help: the trait `Index<Bar<u32>>` is not implemented for `[i32]`
  58    = help: the following other types implement trait `Index<Idx>`:
  59              <[i32] as Index<Bar<usize>>>
  60              <[i32] as Index<Foo<usize>>>
  61
  62 error[E0277]: the trait bound `[i32]: Index<Bar<u32>>` is not satisfied
  63   --> $DIR/multiple-impls.rs:41:5
  64    |
  65 LL |     Index::index(&[] as &[i32], Bar(2u32));
  66    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ on impl for Bar
  67    |
  68    = help: the trait `Index<Bar<u32>>` is not implemented for `[i32]`
  69    = help: the following other types implement trait `Index<Idx>`:
  70              <[i32] as Index<Bar<usize>>>
  71              <[i32] as Index<Foo<usize>>>
  72
  73 error[E0277]: the trait bound `[i32]: Index<u32>` is not satisfied
  74   --> $DIR/multiple-impls.rs:33:5
  75    |
  76 LL |     Index::index(&[] as &[i32], 2u32);
  77    |     ^^^^^^^^^^^^ trait message
  78    |
  79    = help: the trait `Index<u32>` is not implemented for `[i32]`
  80    = help: the following other types implement trait `Index<Idx>`:
  81              <[i32] as Index<Bar<usize>>>
  82              <[i32] as Index<Foo<usize>>>
  83
  84 error[E0277]: the trait bound `[i32]: Index<Foo<u32>>` is not satisfied
  85   --> $DIR/multiple-impls.rs:37:5
  86    |
  87 LL |     Index::index(&[] as &[i32], Foo(2u32));
  88    |     ^^^^^^^^^^^^ on impl for Foo
  89    |
  90    = help: the trait `Index<Foo<u32>>` is not implemented for `[i32]`
  91    = help: the following other types implement trait `Index<Idx>`:
  92              <[i32] as Index<Bar<usize>>>
  93              <[i32] as Index<Foo<usize>>>
  94
  95 error[E0277]: the trait bound `[i32]: Index<Bar<u32>>` is not satisfied
  96   --> $DIR/multiple-impls.rs:41:5
  97    |
  98 LL |     Index::index(&[] as &[i32], Bar(2u32));
  99    |     ^^^^^^^^^^^^ on impl for Bar
 100    |
 101    = help: the trait `Index<Bar<u32>>` is not implemented for `[i32]`
 102    = help: the following other types implement trait `Index<Idx>`:
 103              <[i32] as Index<Bar<usize>>>
 104              <[i32] as Index<Foo<usize>>>
 105
 106 error: aborting due to 9 previous errors
 107
 108 For more information about this error, try `rustc --explain E0277`.