Dedup logic and improve output for other types that impl trait

[rust.git] / src / test / ui / traits / inheritance / repeated-supertrait-ambig.stderr

diff --git a/src/test/ui/traits/inheritance/repeated-supertrait-ambig.stderr b/src/test/ui/traits/inheritance/repeated-supertrait-ambig.stderr
index 3645ad03cb9bbecf170174f50454cc6cb1efb174..0220cf4127ebf4dfa52cb48729f2ded57d00d452 100644 (file)
--- a/src/test/ui/traits/inheritance/repeated-supertrait-ambig.stderr
+++ b/src/test/ui/traits/inheritance/repeated-supertrait-ambig.stderr
@@ -4,7 +4,9 @@ error[E0277]: the trait bound `dyn CompareToInts: CompareTo<i32>` is not satisfi
 LL |     c.same_as(22)
    |       ^^^^^^^ the trait `CompareTo<i32>` is not implemented for `dyn CompareToInts`
    |
-   = help: the trait `CompareTo<i32>` is implemented for `i64`
+   = help: the following other types implement trait `CompareTo<i64>`:
+             <i64 as CompareTo<i64>>
+             <i64 as CompareTo<u64>>
 
 error[E0277]: the trait bound `C: CompareTo<i32>` is not satisfied
   --> $DIR/repeated-supertrait-ambig.rs:30:7
@@ -23,7 +25,9 @@ error[E0277]: the trait bound `dyn CompareToInts: CompareTo<i32>` is not satisfi
 LL |     <dyn CompareToInts>::same_as(c, 22)
    |     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ the trait `CompareTo<i32>` is not implemented for `dyn CompareToInts`
    |
-   = help: the trait `CompareTo<i32>` is implemented for `i64`
+   = help: the following other types implement trait `CompareTo<i64>`:
+             <i64 as CompareTo<i64>>
+             <i64 as CompareTo<u64>>
 
 error[E0277]: the trait bound `C: CompareTo<i32>` is not satisfied
   --> $DIR/repeated-supertrait-ambig.rs:38:5
@@ -42,7 +46,7 @@ error[E0277]: the trait bound `i64: CompareTo<i32>` is not satisfied
 LL |     assert_eq!(22_i64.same_as(22), true);
    |                       ^^^^^^^ the trait `CompareTo<i32>` is not implemented for `i64`
    |
-   = help: the following implementations were found:
+   = help: the following other types implement trait `CompareTo<i64>`:
              <i64 as CompareTo<i64>>
              <i64 as CompareTo<u64>>