Fix UI tests for negative polarity implementations of traits

ThePuzzlemaker · ThePuzzlemaker · commit 859463b869ae · 2020-12-01T13:30:08.000-06:00
diff --git a/src/test/ui/associated-types/hr-associated-type-bound-1.stderr b/src/test/ui/associated-types/hr-associated-type-bound-1.stderr
@@ -12,7 +12,6 @@ LL |     type U = str;
    |
    = help: the following implementations were found:
              <&T as Clone>
-             <&mut T as Clone>
 
 error: aborting due to previous error
 
diff --git a/src/test/ui/associated-types/hr-associated-type-bound-object.stderr b/src/test/ui/associated-types/hr-associated-type-bound-object.stderr
@@ -12,7 +12,6 @@ LL | fn f<'a, T: X<'a> + ?Sized>(x: &<T as X<'a>>::U) {
    |
    = help: the following implementations were found:
              <&T as Clone>
-             <&mut T as Clone>
 
 error: aborting due to previous error
 
diff --git a/src/test/ui/associated-types/hr-associated-type-bound-param-1.stderr b/src/test/ui/associated-types/hr-associated-type-bound-param-1.stderr
@@ -12,7 +12,6 @@ LL |     type V = str;
    |
    = help: the following implementations were found:
              <&T as Clone>
-             <&mut T as Clone>
 
 error: aborting due to previous error
 
diff --git a/src/test/ui/associated-types/hr-associated-type-bound-param-2.stderr b/src/test/ui/associated-types/hr-associated-type-bound-param-2.stderr
@@ -12,7 +12,6 @@ LL |     for<'b> <T as Z<'b, u16>>::W: Clone,
    |
    = help: the following implementations were found:
              <&T as Clone>
-             <&mut T as Clone>
 
 error[E0277]: the trait bound `for<'b> <u16 as Z<'b, u16>>::W: Clone` is not satisfied
   --> $DIR/hr-associated-type-bound-param-2.rs:16:14
@@ -28,7 +27,6 @@ LL |     type W = str;
    |
    = help: the following implementations were found:
              <&T as Clone>
-             <&mut T as Clone>
 
 error[E0277]: the trait bound `for<'b> <u16 as Z<'b, u16>>::W: Clone` is not satisfied
   --> $DIR/hr-associated-type-bound-param-2.rs:4:8
@@ -44,7 +42,6 @@ LL |     for<'b> <T as Z<'b, u16>>::W: Clone,
    |
    = help: the following implementations were found:
              <&T as Clone>
-             <&mut T as Clone>
 
 error: aborting due to 3 previous errors
 
diff --git a/src/test/ui/associated-types/hr-associated-type-bound-param-3.stderr b/src/test/ui/associated-types/hr-associated-type-bound-param-3.stderr
@@ -12,7 +12,6 @@ LL |     type U = str;
    |
    = help: the following implementations were found:
              <&T as Clone>
-             <&mut T as Clone>
 
 error: aborting due to previous error
 
diff --git a/src/test/ui/associated-types/hr-associated-type-bound-param-4.stderr b/src/test/ui/associated-types/hr-associated-type-bound-param-4.stderr
@@ -12,7 +12,6 @@ LL |     type U = str;
    |
    = help: the following implementations were found:
              <&T as Clone>
-             <&mut T as Clone>
 
 error: aborting due to previous error
 
diff --git a/src/test/ui/associated-types/hr-associated-type-bound-param-5.stderr b/src/test/ui/associated-types/hr-associated-type-bound-param-5.stderr
@@ -12,7 +12,6 @@ LL |     type U = str;
    |
    = help: the following implementations were found:
              <&T as Clone>
-             <&mut T as Clone>
 
 error[E0277]: the trait bound `for<'b> <Vec<T> as X<'b, Vec<T>>>::U: Clone` is not satisfied
   --> $DIR/hr-associated-type-bound-param-5.rs:27:14
@@ -28,7 +27,6 @@ LL |     type U = str;
    |
    = help: the following implementations were found:
              <&T as Clone>
-             <&mut T as Clone>
 
 error[E0277]: the trait bound `for<'b> <Vec<T> as X<'b, Vec<T>>>::U: Clone` is not satisfied
   --> $DIR/hr-associated-type-bound-param-5.rs:33:14
@@ -44,7 +42,6 @@ LL |     type U = str;
    |
    = help: the following implementations were found:
              <&T as Clone>
-             <&mut T as Clone>
 
 error[E0277]: the trait bound `for<'b> <Box<T> as X<'b, Box<T>>>::U: Clone` is not satisfied
   --> $DIR/hr-associated-type-bound-param-5.rs:33:14
@@ -60,7 +57,6 @@ LL |     type U = str;
    |
    = help: the following implementations were found:
              <&T as Clone>
-             <&mut T as Clone>
 
 error: aborting due to 4 previous errors
 
diff --git a/src/test/ui/associated-types/hr-associated-type-bound-param-6.stderr b/src/test/ui/associated-types/hr-associated-type-bound-param-6.stderr
@@ -12,7 +12,6 @@ LL |     type U = str;
    |
    = help: the following implementations were found:
              <&T as Clone>
-             <&mut T as Clone>
 
 error[E0277]: the trait bound `for<'b> T: X<'b, T>` is not satisfied
   --> $DIR/hr-associated-type-bound-param-6.rs:12:12
diff --git a/src/test/ui/async-await/issue-64130-3-other.stderr b/src/test/ui/async-await/issue-64130-3-other.stderr
@@ -10,8 +10,6 @@ LL | async fn bar() {
 LL |     is_qux(bar());
    |     ^^^^^^ within `impl Future`, the trait `Qux` is not implemented for `Foo`
    |
-   = help: the following implementations were found:
-             <Foo as Qux>
 note: future does not implement `Qux` as this value is used across an await
   --> $DIR/issue-64130-3-other.rs:18:5
    |
diff --git a/src/test/ui/auto-traits/typeck-default-trait-impl-constituent-types-2.stderr b/src/test/ui/auto-traits/typeck-default-trait-impl-constituent-types-2.stderr
@@ -7,8 +7,6 @@ LL | fn is_mytrait<T: MyTrait>() {}
 LL |     is_mytrait::<(MyS2, MyS)>();
    |     ^^^^^^^^^^^^^^^^^^^^^^^^^ within `(MyS2, MyS)`, the trait `MyTrait` is not implemented for `MyS2`
    |
-   = help: the following implementations were found:
-             <MyS2 as MyTrait>
    = note: required because it appears within the type `(MyS2, MyS)`
 
 error: aborting due to previous error
diff --git a/src/test/ui/auto-traits/typeck-default-trait-impl-constituent-types.stderr b/src/test/ui/auto-traits/typeck-default-trait-impl-constituent-types.stderr
@@ -6,9 +6,6 @@ LL | fn is_mytrait<T: MyTrait>() {}
 ...
 LL |     is_mytrait::<MyS2>();
    |                  ^^^^ the trait `MyTrait` is not implemented for `MyS2`
-   |
-   = help: the following implementations were found:
-             <MyS2 as MyTrait>
 
 error: aborting due to previous error
 
diff --git a/src/test/ui/auto-traits/typeck-default-trait-impl-negation.stderr b/src/test/ui/auto-traits/typeck-default-trait-impl-negation.stderr
@@ -6,9 +6,6 @@ LL | fn is_my_trait<T: MyTrait>() {}
 ...
 LL |     is_my_trait::<ThisImplsUnsafeTrait>();
    |                   ^^^^^^^^^^^^^^^^^^^^ the trait `MyTrait` is not implemented for `ThisImplsUnsafeTrait`
-   |
-   = help: the following implementations were found:
-             <ThisImplsUnsafeTrait as MyTrait>
 
 error[E0277]: the trait bound `ThisImplsTrait: MyUnsafeTrait` is not satisfied
   --> $DIR/typeck-default-trait-impl-negation.rs:25:26
@@ -18,9 +15,6 @@ LL | fn is_my_unsafe_trait<T: MyUnsafeTrait>() {}
 ...
 LL |     is_my_unsafe_trait::<ThisImplsTrait>();
    |                          ^^^^^^^^^^^^^^ the trait `MyUnsafeTrait` is not implemented for `ThisImplsTrait`
-   |
-   = help: the following implementations were found:
-             <ThisImplsTrait as MyUnsafeTrait>
 
 error: aborting due to 2 previous errors
 

Original file line number	Diff line number	Diff line change
`@@ -12,7 +12,6 @@ LL \| type U = str;`
`12`	`12`	`\|`
`13`	`13`	`= help: the following implementations were found:`
`14`	`14`	`<&T as Clone>`
`15`		`- <&mut T as Clone>`
`16`	`15`
`17`	`16`	`error: aborting due to previous error`
`18`	`17`
Original file line number	Diff line number	Diff line change
`@@ -12,7 +12,6 @@ LL \| fn f<'a, T: X<'a> + ?Sized>(x: &<T as X<'a>>::U) {`
`12`	`12`	`\|`
`13`	`13`	`= help: the following implementations were found:`
`14`	`14`	`<&T as Clone>`
`15`		`- <&mut T as Clone>`
`16`	`15`
`17`	`16`	`error: aborting due to previous error`
`18`	`17`
Original file line number	Diff line number	Diff line change
`@@ -12,7 +12,6 @@ LL \| type V = str;`
`12`	`12`	`\|`
`13`	`13`	`= help: the following implementations were found:`
`14`	`14`	`<&T as Clone>`
`15`		`- <&mut T as Clone>`
`16`	`15`
`17`	`16`	`error: aborting due to previous error`
`18`	`17`
Original file line number	Diff line number	Diff line change
`@@ -12,7 +12,6 @@ LL \| for<'b> <T as Z<'b, u16>>::W: Clone,`
`12`	`12`	`\|`
`13`	`13`	`= help: the following implementations were found:`
`14`	`14`	`<&T as Clone>`
`15`		`- <&mut T as Clone>`
`16`	`15`
`17`	`16`	error[E0277]: the trait bound `for<'b> <u16 as Z<'b, u16>>::W: Clone` is not satisfied
`18`	`17`	`--> $DIR/hr-associated-type-bound-param-2.rs:16:14`
`@@ -28,7 +27,6 @@ LL \| type W = str;`
`28`	`27`	`\|`
`29`	`28`	`= help: the following implementations were found:`
`30`	`29`	`<&T as Clone>`
`31`		`- <&mut T as Clone>`
`32`	`30`
`33`	`31`	error[E0277]: the trait bound `for<'b> <u16 as Z<'b, u16>>::W: Clone` is not satisfied
`34`	`32`	`--> $DIR/hr-associated-type-bound-param-2.rs:4:8`
`@@ -44,7 +42,6 @@ LL \| for<'b> <T as Z<'b, u16>>::W: Clone,`
`44`	`42`	`\|`
`45`	`43`	`= help: the following implementations were found:`
`46`	`44`	`<&T as Clone>`
`47`		`- <&mut T as Clone>`
`48`	`45`
`49`	`46`	`error: aborting due to 3 previous errors`
`50`	`47`
Original file line number	Diff line number	Diff line change
`@@ -10,8 +10,6 @@ LL \| async fn bar() {`
`10`	`10`	`LL \| is_qux(bar());`
`11`	`11`	\| ^^^^^^ within `impl Future`, the trait `Qux` is not implemented for `Foo`
`12`	`12`	`\|`
`13`		`- = help: the following implementations were found:`
`14`		`- <Foo as Qux>`
`15`	`13`	note: future does not implement `Qux` as this value is used across an await
`16`	`14`	`--> $DIR/issue-64130-3-other.rs:18:5`
`17`	`15`	`\|`
Original file line number	Diff line number	Diff line change
`@@ -7,8 +7,6 @@ LL \| fn is_mytrait<T: MyTrait>() {}`
`7`	`7`	`LL \| is_mytrait::<(MyS2, MyS)>();`
`8`	`8`	\| ^^^^^^^^^^^^^^^^^^^^^^^^^ within `(MyS2, MyS)`, the trait `MyTrait` is not implemented for `MyS2`
`9`	`9`	`\|`
`10`		`- = help: the following implementations were found:`
`11`		`- <MyS2 as MyTrait>`
`12`	`10`	= note: required because it appears within the type `(MyS2, MyS)`
`13`	`11`
`14`	`12`	`error: aborting due to previous error`