Revert "Remove hack, fix fmt and tests"

Dylan-DPC · Dylan-DPC · commit 9381d9c13ecb · 2022-04-05T23:23:12.000+02:00
This reverts commit e1ef833.
diff --git a/compiler/rustc_trait_selection/src/traits/error_reporting/mod.rs b/compiler/rustc_trait_selection/src/traits/error_reporting/mod.rs
@@ -1762,7 +1762,7 @@ impl<'a, 'tcx> InferCtxtPrivExt<'a, 'tcx> for InferCtxt<'a, 'tcx> {
         trait_ref: ty::PolyTraitRef<'tcx>,
         err: &mut Diagnostic,
     ) -> bool {
-        let report = |mut candidates: Vec<TraitRef<'tcx>>, err: &mut Diagnostic| {
+        let report = |mut candidates: Vec<TraitRef<'_>>, err: &mut Diagnostic| {
             candidates.sort();
             candidates.dedup();
             let len = candidates.len();
@@ -1784,8 +1784,11 @@ impl<'a, 'tcx> InferCtxtPrivExt<'a, 'tcx> for InferCtxt<'a, 'tcx> {
             }
             let trait_ref = TraitRef::identity(self.tcx, candidates[0].def_id);
             // Check if the trait is the same in all cases. If so, we'll only show the type.
-            let mut traits: Vec<_> =
-                candidates.iter().map(|c| c.print_only_trait_path().to_string()).collect();
+            // FIXME: there *has* to be a better way!
+            let mut traits: Vec<_> = candidates
+                .iter()
+                .map(|c| format!("{}", c).split(" as ").last().unwrap().to_string())
+                .collect();
             traits.sort();
             traits.dedup();
 
diff --git a/src/test/ui/const-generics/defaults/rp_impl_trait_fail.stderr b/src/test/ui/const-generics/defaults/rp_impl_trait_fail.stderr
@@ -40,7 +40,7 @@ LL | |     1_u32
 LL | | }
    | |_^ the trait `Traitor<N, N>` is not implemented for `u32`
    |
-   = help: the following other types implement trait `Traitor<N, M>`:
+   = help: the following implementations were found:
              <u32 as Traitor<N, 2_u8>>
              <u64 as Traitor<1_u8, 2_u8>>
 
@@ -65,9 +65,9 @@ LL | |     1_u64
 LL | | }
    | |_^ the trait `Traitor<1_u8, 1_u8>` is not implemented for `u64`
    |
-   = help: the following other types implement trait `Traitor<N, M>`:
-             <u32 as Traitor<N, 2_u8>>
+   = help: the following implementations were found:
              <u64 as Traitor<1_u8, 2_u8>>
+             <u32 as Traitor<N, 2_u8>>
 
 error: aborting due to 6 previous errors
 
diff --git a/src/test/ui/kindck/kindck-impl-type-params.nll.stderr b/src/test/ui/kindck/kindck-impl-type-params.nll.stderr
@@ -72,7 +72,6 @@ error[E0277]: the trait bound `String: Copy` is not satisfied
 LL |     let a = t as Box<dyn Gettable<String>>;
    |             ^ the trait `Copy` is not implemented for `String`
    |
-   = help: the trait `Gettable<T>` is implemented for `S<T>`
 note: required because of the requirements on the impl of `Gettable<String>` for `S<String>`
   --> $DIR/kindck-impl-type-params.rs:14:32
    |
@@ -86,7 +85,6 @@ error[E0277]: the trait bound `Foo: Copy` is not satisfied
 LL |     let a: Box<dyn Gettable<Foo>> = t;
    |                                     ^ the trait `Copy` is not implemented for `Foo`
    |
-   = help: the trait `Gettable<T>` is implemented for `S<T>`
 note: required because of the requirements on the impl of `Gettable<Foo>` for `S<Foo>`
   --> $DIR/kindck-impl-type-params.rs:14:32
    |
diff --git a/src/test/ui/traits/suggest-deferences/root-obligation.fixed b/src/test/ui/traits/suggest-deferences/root-obligation.fixed
@@ -11,3 +11,4 @@ fn get_vowel_count(string: &str) -> usize {
 fn main() {
     let _ = get_vowel_count("asdf");
 }
+
diff --git a/src/test/ui/traits/suggest-deferences/root-obligation.rs b/src/test/ui/traits/suggest-deferences/root-obligation.rs
@@ -11,3 +11,4 @@ fn get_vowel_count(string: &str) -> usize {
 fn main() {
     let _ = get_vowel_count("asdf");
 }
+
diff --git a/src/test/ui/type-alias-impl-trait/nested-tait-inference2.stderr b/src/test/ui/type-alias-impl-trait/nested-tait-inference2.stderr
@@ -19,7 +19,7 @@ LL | |     ()
 LL | | }
    | |_^ the trait `Foo<FooX>` is not implemented for `()`
    |
-   = help: the following other types implement trait `Foo<A>`:
+   = help: the following implementations were found:
              <() as Foo<()>>
              <() as Foo<u32>>
 
diff --git a/src/test/ui/type-alias-impl-trait/self-referential-2.stderr b/src/test/ui/type-alias-impl-trait/self-referential-2.stderr
@@ -5,15 +5,11 @@ LL |     42_i32
    |     ^^^^^^ no implementation for `i32 == Foo`
    |
    = help: the trait `PartialEq<Foo>` is not implemented for `i32`
-   = help: the following other types implement trait `PartialEq<Rhs>`:
-             f32
-             f64
-             i128
-             i16
-             i32
-             i64
-             i8
-             isize
+   = help: the following implementations were found:
+             <i32 as PartialEq>
+             <f32 as PartialEq>
+             <f64 as PartialEq>
+             <i128 as PartialEq>
            and 6 others
 
 error: aborting due to previous error
diff --git a/src/test/ui/type-alias-impl-trait/self-referential-4.stderr b/src/test/ui/type-alias-impl-trait/self-referential-4.stderr
@@ -5,15 +5,11 @@ LL |     i
    |     ^ no implementation for `&i32 == Bar<'b, 'static>`
    |
    = help: the trait `PartialEq<Bar<'b, 'static>>` is not implemented for `&i32`
-   = help: the following other types implement trait `PartialEq<Rhs>`:
-             f32
-             f64
-             i128
-             i16
-             i32
-             i64
-             i8
-             isize
+   = help: the following implementations were found:
+             <i32 as PartialEq>
+             <f32 as PartialEq>
+             <f64 as PartialEq>
+             <i128 as PartialEq>
            and 6 others
 
 error[E0277]: can't compare `&i32` with `Foo<'static, 'b>`
@@ -23,15 +19,11 @@ LL |     i
    |     ^ no implementation for `&i32 == Foo<'static, 'b>`
    |
    = help: the trait `PartialEq<Foo<'static, 'b>>` is not implemented for `&i32`
-   = help: the following other types implement trait `PartialEq<Rhs>`:
-             f32
-             f64
-             i128
-             i16
-             i32
-             i64
-             i8
-             isize
+   = help: the following implementations were found:
+             <i32 as PartialEq>
+             <f32 as PartialEq>
+             <f64 as PartialEq>
+             <i128 as PartialEq>
            and 6 others
 
 error[E0277]: can't compare `&i32` with `Moo<'static, 'a>`
@@ -41,15 +33,11 @@ LL |     i
    |     ^ no implementation for `&i32 == Moo<'static, 'a>`
    |
    = help: the trait `PartialEq<Moo<'static, 'a>>` is not implemented for `&i32`
-   = help: the following other types implement trait `PartialEq<Rhs>`:
-             f32
-             f64
-             i128
-             i16
-             i32
-             i64
-             i8
-             isize
+   = help: the following implementations were found:
+             <i32 as PartialEq>
+             <f32 as PartialEq>
+             <f64 as PartialEq>
+             <i128 as PartialEq>
            and 6 others
 
 error: aborting due to 3 previous errors
diff --git a/src/test/ui/type-alias-impl-trait/self-referential.stderr b/src/test/ui/type-alias-impl-trait/self-referential.stderr
@@ -5,15 +5,11 @@ LL |     i
    |     ^ no implementation for `&i32 == Bar<'b, 'a>`
    |
    = help: the trait `PartialEq<Bar<'b, 'a>>` is not implemented for `&i32`
-   = help: the following other types implement trait `PartialEq<Rhs>`:
-             f32
-             f64
-             i128
-             i16
-             i32
-             i64
-             i8
-             isize
+   = help: the following implementations were found:
+             <i32 as PartialEq>
+             <f32 as PartialEq>
+             <f64 as PartialEq>
+             <i128 as PartialEq>
            and 6 others
 
 error[E0277]: can't compare `&i32` with `(i32, &i32)`
@@ -23,15 +19,11 @@ LL |     (42, i)
    |          ^ no implementation for `&i32 == (i32, &i32)`
    |
    = help: the trait `PartialEq<(i32, &i32)>` is not implemented for `&i32`
-   = help: the following other types implement trait `PartialEq<Rhs>`:
-             f32
-             f64
-             i128
-             i16
-             i32
-             i64
-             i8
-             isize
+   = help: the following implementations were found:
+             <i32 as PartialEq>
+             <f32 as PartialEq>
+             <f64 as PartialEq>
+             <i128 as PartialEq>
            and 6 others
 
 error[E0277]: can't compare `&i32` with `(i32, Moo<'b, 'a>::{opaque#0})`
@@ -41,15 +33,11 @@ LL |     (42, i)
    |          ^ no implementation for `&i32 == (i32, Moo<'b, 'a>::{opaque#0})`
    |
    = help: the trait `PartialEq<(i32, Moo<'b, 'a>::{opaque#0})>` is not implemented for `&i32`
-   = help: the following other types implement trait `PartialEq<Rhs>`:
-             f32
-             f64
-             i128
-             i16
-             i32
-             i64
-             i8
-             isize
+   = help: the following implementations were found:
+             <i32 as PartialEq>
+             <f32 as PartialEq>
+             <f64 as PartialEq>
+             <i128 as PartialEq>
            and 6 others
 
 error: aborting due to 3 previous errors

Original file line number	Diff line number	Diff line change
@@ -72,7 +72,6 @@ error[E0277]: the trait bound `String: Copy` is not satisfied
`72`	`72`	`LL \| let a = t as Box<dyn Gettable<String>>;`
`73`	`73`	\| ^ the trait `Copy` is not implemented for `String`
`74`	`74`	`\|`
`75`		- = help: the trait `Gettable<T>` is implemented for `S<T>`
`76`	`75`	note: required because of the requirements on the impl of `Gettable<String>` for `S<String>`
`77`	`76`	`--> $DIR/kindck-impl-type-params.rs:14:32`
`78`	`77`	`\|`
@@ -86,7 +85,6 @@ error[E0277]: the trait bound `Foo: Copy` is not satisfied
`86`	`85`	`LL \| let a: Box<dyn Gettable<Foo>> = t;`
`87`	`86`	\| ^ the trait `Copy` is not implemented for `Foo`
`88`	`87`	`\|`
`89`		- = help: the trait `Gettable<T>` is implemented for `S<T>`
`90`	`88`	note: required because of the requirements on the impl of `Gettable<Foo>` for `S<Foo>`
`91`	`89`	`--> $DIR/kindck-impl-type-params.rs:14:32`
`92`	`90`	`\|`
Original file line number	Diff line number	Diff line change
`@@ -11,3 +11,4 @@ fn get_vowel_count(string: &str) -> usize {`
`11`	`11`	`fn main() {`
`12`	`12`	`let _ = get_vowel_count("asdf");`
`13`	`13`	`}`
	`14`	`+`
Original file line number	Diff line number	Diff line change
`@@ -19,7 +19,7 @@ LL \| \| ()`
`19`	`19`	`LL \| \| }`
`20`	`20`	\| \|_^ the trait `Foo<FooX>` is not implemented for `()`
`21`	`21`	`\|`
`22`		- = help: the following other types implement trait `Foo<A>`:
	`22`	`+ = help: the following implementations were found:`
`23`	`23`	`<() as Foo<()>>`
`24`	`24`	`<() as Foo<u32>>`
`25`	`25`