src/test/ui/traits/inheritance/repeated-supertrait-ambig.stderr

   1 error[E0277]: the trait bound `dyn CompareToInts: CompareTo<i32>` is not satisfied
   2   --> $DIR/repeated-supertrait-ambig.rs:26:7
   3    |
   4 LL |     c.same_as(22)
   5    |       ^^^^^^^ the trait `CompareTo<i32>` is not implemented for `dyn CompareToInts`
   6
   7 error[E0277]: the trait bound `C: CompareTo<i32>` is not satisfied
   8   --> $DIR/repeated-supertrait-ambig.rs:30:7
   9    |
  10 LL |     c.same_as(22)
  11    |       ^^^^^^^ the trait `CompareTo<i32>` is not implemented for `C`
  12    |
  13 help: consider further restricting this bound
  14    |
  15 LL | fn with_trait<C:CompareToInts + CompareTo<i32>>(c: &C) -> bool {
  16    |                               ^^^^^^^^^^^^^^^^
  17
  18 error[E0277]: the trait bound `dyn CompareToInts: CompareTo<i32>` is not satisfied
  19   --> $DIR/repeated-supertrait-ambig.rs:34:5
  20    |
  21 LL |     <dyn CompareToInts>::same_as(c, 22)
  22    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `CompareTo<i32>` is not implemented for `dyn CompareToInts`
  23    |
  24 note: required by `CompareTo::same_as`
  25   --> $DIR/repeated-supertrait-ambig.rs:9:5
  26    |
  27 LL |     fn same_as(&self, t: T) -> bool;
  28    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  29
  30 error[E0277]: the trait bound `C: CompareTo<i32>` is not satisfied
  31   --> $DIR/repeated-supertrait-ambig.rs:38:5
  32    |
  33 LL |     CompareTo::same_as(c, 22)
  34    |     ^^^^^^^^^^^^^^^^^^ the trait `CompareTo<i32>` is not implemented for `C`
  35    |
  36 note: required by `CompareTo::same_as`
  37   --> $DIR/repeated-supertrait-ambig.rs:9:5
  38    |
  39 LL |     fn same_as(&self, t: T) -> bool;
  40    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  41 help: consider further restricting this bound
  42    |
  43 LL | fn with_ufcs2<C:CompareToInts + CompareTo<i32>>(c: &C) -> bool {
  44    |                               ^^^^^^^^^^^^^^^^
  45
  46 error[E0277]: the trait bound `i64: CompareTo<i32>` is not satisfied
  47   --> $DIR/repeated-supertrait-ambig.rs:42:23
  48    |
  49 LL |     assert_eq!(22_i64.same_as(22), true);
  50    |                       ^^^^^^^ the trait `CompareTo<i32>` is not implemented for `i64`
  51    |
  52    = help: the following implementations were found:
  53              <i64 as CompareTo<i64>>
  54              <i64 as CompareTo<u64>>
  55
  56 error: aborting due to 5 previous errors
  57
  58 For more information about this error, try `rustc --explain E0277`.