error[E0277]: the trait bound `dyn CompareToInts: CompareTo` is not satisfied --> $DIR/repeated-supertrait-ambig.rs:26:15 | LL | c.same_as(22) | ------- ^^ the trait `CompareTo` is not implemented for `dyn CompareToInts` | | | required by a bound introduced by this call | = help: the following other types implement trait `CompareTo`: > > error[E0277]: the trait bound `C: CompareTo` is not satisfied --> $DIR/repeated-supertrait-ambig.rs:30:15 | LL | c.same_as(22) | ------- ^^ the trait `CompareTo` is not implemented for `C` | | | required by a bound introduced by this call | help: consider further restricting this bound | LL | fn with_trait>(c: &C) -> bool { | ++++++++++++++++ error[E0277]: the trait bound `dyn CompareToInts: CompareTo` is not satisfied --> $DIR/repeated-supertrait-ambig.rs:34:6 | LL | ::same_as(c, 22) | ^^^^^^^^^^^^^^^^^ the trait `CompareTo` is not implemented for `dyn CompareToInts` | = help: the following other types implement trait `CompareTo`: > > error[E0277]: the trait bound `C: CompareTo` is not satisfied --> $DIR/repeated-supertrait-ambig.rs:38:27 | LL | CompareTo::same_as(c, 22) | ------------------ ^^ the trait `CompareTo` is not implemented for `C` | | | required by a bound introduced by this call | help: consider further restricting this bound | LL | fn with_ufcs2>(c: &C) -> bool { | ++++++++++++++++ error[E0277]: the trait bound `i64: CompareTo` is not satisfied --> $DIR/repeated-supertrait-ambig.rs:42:31 | LL | assert_eq!(22_i64.same_as(22), true); | ------- ^^ the trait `CompareTo` is not implemented for `i64` | | | required by a bound introduced by this call | = help: the following other types implement trait `CompareTo`: > > error: aborting due to 5 previous errors For more information about this error, try `rustc --explain E0277`.