Fix associated item removal suggestion

estebank · estebank · commit e38032fb3ad5 · 2024-07-17T21:30:40.000Z
We were previously telling people to write what was already there, instead of removal.

```
error[E0229]: associated item constraints are not allowed here
  --&gt; $DIR/E0229.rs:13:25
   |
LL | fn baz&lt;I&gt;(x: &amp;&lt;I as Foo&lt;A = Bar&gt;&gt;::A) {}
   |                         ^^^^^^^ associated item constraint not allowed here
   |
help: consider removing this associated item binding
   |
LL - fn baz&lt;I&gt;(x: &amp;&lt;I as Foo&lt;A = Bar&gt;&gt;::A) {}
LL + fn baz&lt;I&gt;(x: &amp;&lt;I as Foo&gt;::A) {}
   |
```
diff --git a/compiler/rustc_hir_analysis/src/hir_ty_lowering/errors.rs b/compiler/rustc_hir_analysis/src/hir_ty_lowering/errors.rs
@@ -1257,14 +1257,12 @@ pub fn prohibit_assoc_item_constraint(
             };
 
             // Now emit the suggestion
-            if let Ok(suggestion) = tcx.sess.source_map().span_to_snippet(removal_span) {
-                e.span_suggestion_verbose(
-                    removal_span,
-                    format!("consider removing this associated item {}", constraint.kind.descr()),
-                    suggestion,
-                    Applicability::MaybeIncorrect,
-                );
-            }
+            e.span_suggestion_verbose(
+                removal_span,
+                format!("consider removing this associated item {}", constraint.kind.descr()),
+                "",
+                Applicability::MaybeIncorrect,
+            );
         };
 
         // Suggest replacing the associated item binding with a generic argument.
diff --git a/tests/rustdoc-ui/ice-unresolved-import-100241.stderr b/tests/rustdoc-ui/ice-unresolved-import-100241.stderr
@@ -0,0 +1,11 @@
+error[E0432]: unresolved import `inner`
+  --> $DIR/ice-unresolved-import-100241.rs:9:13
+   |
+LL |     pub use inner::S;
+   |             ^^^^^ maybe a missing crate `inner`?
+   |
+   = help: consider adding `extern crate inner` to use the `inner` crate
+
+error: aborting due to 1 previous error
+
+For more information about this error, try `rustc --explain E0432`.
diff --git a/tests/rustdoc-ui/invalid_associated_const.stderr b/tests/rustdoc-ui/invalid_associated_const.stderr
@@ -6,8 +6,9 @@ LL |     type A: S<C<X = 0i32> = 34>;
    |
 help: consider removing this associated item binding
    |
-LL |     type A: S<C<X = 0i32> = 34>;
-   |                ~~~~~~~~~~
+LL -     type A: S<C<X = 0i32> = 34>;
+LL +     type A: S<C = 34>;
+   |
 
 error[E0229]: associated item constraints are not allowed here
   --> $DIR/invalid_associated_const.rs:4:17
@@ -18,8 +19,9 @@ LL |     type A: S<C<X = 0i32> = 34>;
    = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
 help: consider removing this associated item binding
    |
-LL |     type A: S<C<X = 0i32> = 34>;
-   |                ~~~~~~~~~~
+LL -     type A: S<C<X = 0i32> = 34>;
+LL +     type A: S<C = 34>;
+   |
 
 error: aborting due to 2 previous errors
 
diff --git a/tests/rustdoc-ui/issue-102467.stderr b/tests/rustdoc-ui/issue-102467.stderr
@@ -6,8 +6,9 @@ LL |     type A: S<C<X = 0i32> = 34>;
    |
 help: consider removing this associated item binding
    |
-LL |     type A: S<C<X = 0i32> = 34>;
-   |                ~~~~~~~~~~
+LL -     type A: S<C<X = 0i32> = 34>;
+LL +     type A: S<C = 34>;
+   |
 
 error[E0229]: associated item constraints are not allowed here
   --> $DIR/issue-102467.rs:7:17
@@ -18,8 +19,9 @@ LL |     type A: S<C<X = 0i32> = 34>;
    = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
 help: consider removing this associated item binding
    |
-LL |     type A: S<C<X = 0i32> = 34>;
-   |                ~~~~~~~~~~
+LL -     type A: S<C<X = 0i32> = 34>;
+LL +     type A: S<C = 34>;
+   |
 
 error: aborting due to 2 previous errors
 
diff --git a/tests/ui/associated-consts/issue-102335-const.stderr b/tests/ui/associated-consts/issue-102335-const.stderr
@@ -6,8 +6,9 @@ LL |     type A: S<C<X = 0i32> = 34>;
    |
 help: consider removing this associated item binding
    |
-LL |     type A: S<C<X = 0i32> = 34>;
-   |                ~~~~~~~~~~
+LL -     type A: S<C<X = 0i32> = 34>;
+LL +     type A: S<C = 34>;
+   |
 
 error[E0229]: associated item constraints are not allowed here
   --> $DIR/issue-102335-const.rs:4:17
@@ -18,8 +19,9 @@ LL |     type A: S<C<X = 0i32> = 34>;
    = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
 help: consider removing this associated item binding
    |
-LL |     type A: S<C<X = 0i32> = 34>;
-   |                ~~~~~~~~~~
+LL -     type A: S<C<X = 0i32> = 34>;
+LL +     type A: S<C = 34>;
+   |
 
 error: aborting due to 2 previous errors
 
diff --git a/tests/ui/associated-type-bounds/issue-102335-ty.stderr b/tests/ui/associated-type-bounds/issue-102335-ty.stderr
@@ -6,8 +6,9 @@ LL |     type A: S<C<i32 = u32> = ()>; // Just one erroneous equality constraint
    |
 help: consider removing this associated item binding
    |
-LL |     type A: S<C<i32 = u32> = ()>; // Just one erroneous equality constraint
-   |                ~~~~~~~~~~~
+LL -     type A: S<C<i32 = u32> = ()>; // Just one erroneous equality constraint
+LL +     type A: S<C = ()>; // Just one erroneous equality constraint
+   |
 
 error[E0229]: associated item constraints are not allowed here
   --> $DIR/issue-102335-ty.rs:2:17
@@ -18,8 +19,9 @@ LL |     type A: S<C<i32 = u32> = ()>; // Just one erroneous equality constraint
    = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
 help: consider removing this associated item binding
    |
-LL |     type A: S<C<i32 = u32> = ()>; // Just one erroneous equality constraint
-   |                ~~~~~~~~~~~
+LL -     type A: S<C<i32 = u32> = ()>; // Just one erroneous equality constraint
+LL +     type A: S<C = ()>; // Just one erroneous equality constraint
+   |
 
 error[E0229]: associated item constraints are not allowed here
   --> $DIR/issue-102335-ty.rs:8:17
@@ -29,8 +31,9 @@ LL |     type A: S<C<i32 = u32, X = i32> = ()>; // More than one erroneous equal
    |
 help: consider removing this associated item binding
    |
-LL |     type A: S<C<i32 = u32, X = i32> = ()>; // More than one erroneous equality constraints
-   |                 ~~~~~~~~~~
+LL -     type A: S<C<i32 = u32, X = i32> = ()>; // More than one erroneous equality constraints
+LL +     type A: S<C<X = i32> = ()>; // More than one erroneous equality constraints
+   |
 
 error[E0229]: associated item constraints are not allowed here
   --> $DIR/issue-102335-ty.rs:8:17
@@ -41,8 +44,9 @@ LL |     type A: S<C<i32 = u32, X = i32> = ()>; // More than one erroneous equal
    = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
 help: consider removing this associated item binding
    |
-LL |     type A: S<C<i32 = u32, X = i32> = ()>; // More than one erroneous equality constraints
-   |                 ~~~~~~~~~~
+LL -     type A: S<C<i32 = u32, X = i32> = ()>; // More than one erroneous equality constraints
+LL +     type A: S<C<X = i32> = ()>; // More than one erroneous equality constraints
+   |
 
 error: aborting due to 4 previous errors
 
diff --git a/tests/ui/associated-type-bounds/no-gat-position.stderr b/tests/ui/associated-type-bounds/no-gat-position.stderr
@@ -6,8 +6,9 @@ LL |     fn next<'a>(&'a mut self) -> Option<Self::Item<'a, As1: Copy>>;
    |
 help: consider removing this associated item constraint
    |
-LL |     fn next<'a>(&'a mut self) -> Option<Self::Item<'a, As1: Copy>>;
-   |                                                      ~~~~~~~~~~~
+LL -     fn next<'a>(&'a mut self) -> Option<Self::Item<'a, As1: Copy>>;
+LL +     fn next<'a>(&'a mut self) -> Option<Self::Item<'a>>;
+   |
 
 error: aborting due to 1 previous error
 
diff --git a/tests/ui/associated-types/associated-types-eq-2.stderr b/tests/ui/associated-types/associated-types-eq-2.stderr
@@ -50,8 +50,9 @@ LL | impl Tr1<A = usize> for usize {
    |
 help: consider removing this associated item binding
    |
-LL | impl Tr1<A = usize> for usize {
-   |         ~~~~~~~~~~~
+LL - impl Tr1<A = usize> for usize {
+LL + impl Tr1 for usize {
+   |
 
 error[E0046]: not all trait items implemented, missing: `A`
   --> $DIR/associated-types-eq-2.rs:20:1
@@ -70,8 +71,9 @@ LL | fn baz<I: Tr1>(_x: &<I as Tr1<A=Bar>>::A) {}
    |
 help: consider removing this associated item binding
    |
-LL | fn baz<I: Tr1>(_x: &<I as Tr1<A=Bar>>::A) {}
-   |                              ~~~~~~~
+LL - fn baz<I: Tr1>(_x: &<I as Tr1<A=Bar>>::A) {}
+LL + fn baz<I: Tr1>(_x: &<I as Tr1>::A) {}
+   |
 
 error[E0107]: trait takes 3 generic arguments but 1 generic argument was supplied
   --> $DIR/associated-types-eq-2.rs:40:6
@@ -128,8 +130,9 @@ LL | impl Tr2<i32, t2 = Qux, T3 = usize> for Qux {
    |
 help: consider removing this associated item binding
    |
-LL | impl Tr2<i32, t2 = Qux, T3 = usize> for Qux {
-   |             ~~~~~~~~~~
+LL - impl Tr2<i32, t2 = Qux, T3 = usize> for Qux {
+LL + impl Tr2<i32, T3 = usize> for Qux {
+   |
 
 error[E0107]: trait takes 3 generic arguments but 1 generic argument was supplied
   --> $DIR/associated-types-eq-2.rs:54:6
@@ -157,8 +160,9 @@ LL | impl Tr2<i32, X = Qux, Y = usize> for Bar {
    |
 help: consider removing this associated item binding
    |
-LL | impl Tr2<i32, X = Qux, Y = usize> for Bar {
-   |             ~~~~~~~~~
+LL - impl Tr2<i32, X = Qux, Y = usize> for Bar {
+LL + impl Tr2<i32, Y = usize> for Bar {
+   |
 
 error[E0107]: trait takes 3 generic arguments but 2 generic arguments were supplied
   --> $DIR/associated-types-eq-2.rs:61:6
@@ -228,8 +232,9 @@ LL | impl Tr3<n = 42, T2 = Qux, T3 = usize> for Qux {
    |
 help: consider removing this associated item binding
    |
-LL | impl Tr3<n = 42, T2 = Qux, T3 = usize> for Qux {
-   |          ~~~~~~~
+LL - impl Tr3<n = 42, T2 = Qux, T3 = usize> for Qux {
+LL + impl Tr3<T2 = Qux, T3 = usize> for Qux {
+   |
 
 error[E0229]: associated item constraints are not allowed here
   --> $DIR/associated-types-eq-2.rs:92:10
@@ -239,8 +244,9 @@ LL | impl Tr3<N = u32, T2 = Qux, T3 = usize> for Bar {
    |
 help: consider removing this associated item binding
    |
-LL | impl Tr3<N = u32, T2 = Qux, T3 = usize> for Bar {
-   |          ~~~~~~~~
+LL - impl Tr3<N = u32, T2 = Qux, T3 = usize> for Bar {
+LL + impl Tr3<T2 = Qux, T3 = usize> for Bar {
+   |
 
 error[E0107]: trait takes 3 generic arguments but 1 generic argument was supplied
   --> $DIR/associated-types-eq-2.rs:98:6
@@ -268,8 +274,9 @@ LL | impl Tr3<42, T2 = 42, T3 = usize> for Bar {
    |
 help: consider removing this associated item binding
    |
-LL | impl Tr3<42, T2 = 42, T3 = usize> for Bar {
-   |            ~~~~~~~~~
+LL - impl Tr3<42, T2 = 42, T3 = usize> for Bar {
+LL + impl Tr3<42, T3 = usize> for Bar {
+   |
 
 error[E0107]: trait takes 3 generic arguments but 0 generic arguments were supplied
   --> $DIR/associated-types-eq-2.rs:106:6
@@ -295,8 +302,9 @@ LL | impl Tr3<X = 42, Y = Qux, Z = usize> for Bar {
    |
 help: consider removing this associated item binding
    |
-LL | impl Tr3<X = 42, Y = Qux, Z = usize> for Bar {
-   |          ~~~~~~~
+LL - impl Tr3<X = 42, Y = Qux, Z = usize> for Bar {
+LL + impl Tr3<Y = Qux, Z = usize> for Bar {
+   |
 
 error[E0107]: struct takes 1 generic argument but 0 generic arguments were supplied
   --> $DIR/associated-types-eq-2.rs:117:13
diff --git a/tests/ui/async-await/return-type-notation/rtn-in-impl-signature.stderr b/tests/ui/async-await/return-type-notation/rtn-in-impl-signature.stderr
@@ -15,8 +15,9 @@ LL | impl Super1<'_, bar(..): Send> for () {}
    |
 help: consider removing this associated item constraint
    |
-LL | impl Super1<'_, bar(..): Send> for () {}
-   |               ~~~~~~~~~~~~~~~
+LL - impl Super1<'_, bar(..): Send> for () {}
+LL + impl Super1<'_> for () {}
+   |
 
 error[E0046]: not all trait items implemented, missing: `bar`
   --> $DIR/rtn-in-impl-signature.rs:10:1
diff --git a/tests/ui/error-codes/E0229.stderr b/tests/ui/error-codes/E0229.stderr
@@ -6,8 +6,9 @@ LL | fn baz<I>(x: &<I as Foo<A = Bar>>::A) {}
    |
 help: consider removing this associated item binding
    |
-LL | fn baz<I>(x: &<I as Foo<A = Bar>>::A) {}
-   |                        ~~~~~~~~~
+LL - fn baz<I>(x: &<I as Foo<A = Bar>>::A) {}
+LL + fn baz<I>(x: &<I as Foo>::A) {}
+   |
 
 error[E0229]: associated item constraints are not allowed here
   --> $DIR/E0229.rs:13:25
@@ -18,8 +19,9 @@ LL | fn baz<I>(x: &<I as Foo<A = Bar>>::A) {}
    = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
 help: consider removing this associated item binding
    |
-LL | fn baz<I>(x: &<I as Foo<A = Bar>>::A) {}
-   |                        ~~~~~~~~~
+LL - fn baz<I>(x: &<I as Foo<A = Bar>>::A) {}
+LL + fn baz<I>(x: &<I as Foo>::A) {}
+   |
 
 error[E0229]: associated item constraints are not allowed here
   --> $DIR/E0229.rs:13:25
@@ -30,8 +32,9 @@ LL | fn baz<I>(x: &<I as Foo<A = Bar>>::A) {}
    = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
 help: consider removing this associated item binding
    |
-LL | fn baz<I>(x: &<I as Foo<A = Bar>>::A) {}
-   |                        ~~~~~~~~~
+LL - fn baz<I>(x: &<I as Foo<A = Bar>>::A) {}
+LL + fn baz<I>(x: &<I as Foo>::A) {}
+   |
 
 error[E0277]: the trait bound `I: Foo` is not satisfied
   --> $DIR/E0229.rs:13:15
diff --git a/tests/ui/generic-associated-types/issue-102335-gat.stderr b/tests/ui/generic-associated-types/issue-102335-gat.stderr
@@ -6,8 +6,9 @@ LL |     type A: S<C<(), i32 = ()> = ()>;
    |
 help: consider removing this associated item binding
    |
-LL |     type A: S<C<(), i32 = ()> = ()>;
-   |                   ~~~~~~~~~~
+LL -     type A: S<C<(), i32 = ()> = ()>;
+LL +     type A: S<C<()> = ()>;
+   |
 
 error[E0229]: associated item constraints are not allowed here
   --> $DIR/issue-102335-gat.rs:2:21
@@ -18,8 +19,9 @@ LL |     type A: S<C<(), i32 = ()> = ()>;
    = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
 help: consider removing this associated item binding
    |
-LL |     type A: S<C<(), i32 = ()> = ()>;
-   |                   ~~~~~~~~~~
+LL -     type A: S<C<(), i32 = ()> = ()>;
+LL +     type A: S<C<()> = ()>;
+   |
 
 error: aborting due to 2 previous errors
 
diff --git a/tests/ui/lifetimes/issue-83753-invalid-associated-type-supertrait-hrtb.stderr b/tests/ui/lifetimes/issue-83753-invalid-associated-type-supertrait-hrtb.stderr
@@ -6,8 +6,9 @@ LL |     fn bar(foo: Foo<Target = usize>) {}
    |
 help: consider removing this associated item binding
    |
-LL |     fn bar(foo: Foo<Target = usize>) {}
-   |                    ~~~~~~~~~~~~~~~~
+LL -     fn bar(foo: Foo<Target = usize>) {}
+LL +     fn bar(foo: Foo) {}
+   |
 
 error: aborting due to 1 previous error
 
diff --git a/tests/ui/suggestions/issue-85347.stderr b/tests/ui/suggestions/issue-85347.stderr
@@ -22,8 +22,9 @@ LL |     type Bar<'a>: Deref<Target = <Self>::Bar<Target = Self>>;
    |
 help: consider removing this associated item binding
    |
-LL |     type Bar<'a>: Deref<Target = <Self>::Bar<Target = Self>>;
-   |                                             ~~~~~~~~~~~~~~~
+LL -     type Bar<'a>: Deref<Target = <Self>::Bar<Target = Self>>;
+LL +     type Bar<'a>: Deref<Target = <Self>::Bar>;
+   |
 
 error[E0107]: associated type takes 1 lifetime argument but 0 lifetime arguments were supplied
   --> $DIR/issue-85347.rs:3:42
@@ -51,8 +52,9 @@ LL |     type Bar<'a>: Deref<Target = <Self>::Bar<Target = Self>>;
    = note: duplicate diagnostic emitted due to `-Z deduplicate-diagnostics=no`
 help: consider removing this associated item binding
    |
-LL |     type Bar<'a>: Deref<Target = <Self>::Bar<Target = Self>>;
-   |                                             ~~~~~~~~~~~~~~~
+LL -     type Bar<'a>: Deref<Target = <Self>::Bar<Target = Self>>;
+LL +     type Bar<'a>: Deref<Target = <Self>::Bar>;
+   |
 
 error: aborting due to 4 previous errors
 

Original file line number	Diff line number	Diff line change
`@@ -6,8 +6,9 @@ LL \| fn next<'a>(&'a mut self) -> Option<Self::Item<'a, As1: Copy>>;`
`6`	`6`	`\|`
`7`	`7`	`help: consider removing this associated item constraint`
`8`	`8`	`\|`
`9`		`-LL \| fn next<'a>(&'a mut self) -> Option<Self::Item<'a, As1: Copy>>;`
`10`		`- \| ~~~~~~~~~~~`
	`9`	`+LL - fn next<'a>(&'a mut self) -> Option<Self::Item<'a, As1: Copy>>;`
	`10`	`+LL + fn next<'a>(&'a mut self) -> Option<Self::Item<'a>>;`
	`11`	`+ \|`
`11`	`12`
`12`	`13`	`error: aborting due to 1 previous error`
`13`	`14`
Original file line number	Diff line number	Diff line change
`@@ -50,8 +50,9 @@ LL \| impl Tr1<A = usize> for usize {`
`50`	`50`	`\|`
`51`	`51`	`help: consider removing this associated item binding`
`52`	`52`	`\|`
`53`		`-LL \| impl Tr1<A = usize> for usize {`
`54`		`- \| ~~~~~~~~~~~`
	`53`	`+LL - impl Tr1<A = usize> for usize {`
	`54`	`+LL + impl Tr1 for usize {`
	`55`	`+ \|`
`55`	`56`
`56`	`57`	error[E0046]: not all trait items implemented, missing: `A`
`57`	`58`	`--> $DIR/associated-types-eq-2.rs:20:1`
`@@ -70,8 +71,9 @@ LL \| fn baz<I: Tr1>(_x: &<I as Tr1<A=Bar>>::A) {}`
`70`	`71`	`\|`
`71`	`72`	`help: consider removing this associated item binding`
`72`	`73`	`\|`
`73`		`-LL \| fn baz<I: Tr1>(_x: &<I as Tr1<A=Bar>>::A) {}`
`74`		`- \| ~~~~~~~`
	`74`	`+LL - fn baz<I: Tr1>(_x: &<I as Tr1<A=Bar>>::A) {}`
	`75`	`+LL + fn baz<I: Tr1>(_x: &<I as Tr1>::A) {}`
	`76`	`+ \|`
`75`	`77`
`76`	`78`	`error[E0107]: trait takes 3 generic arguments but 1 generic argument was supplied`
`77`	`79`	`--> $DIR/associated-types-eq-2.rs:40:6`
`@@ -128,8 +130,9 @@ LL \| impl Tr2<i32, t2 = Qux, T3 = usize> for Qux {`
`128`	`130`	`\|`
`129`	`131`	`help: consider removing this associated item binding`
`130`	`132`	`\|`
`131`		`-LL \| impl Tr2<i32, t2 = Qux, T3 = usize> for Qux {`
`132`		`- \| ~~~~~~~~~~`
	`133`	`+LL - impl Tr2<i32, t2 = Qux, T3 = usize> for Qux {`
	`134`	`+LL + impl Tr2<i32, T3 = usize> for Qux {`
	`135`	`+ \|`
`133`	`136`
`134`	`137`	`error[E0107]: trait takes 3 generic arguments but 1 generic argument was supplied`
`135`	`138`	`--> $DIR/associated-types-eq-2.rs:54:6`
`@@ -157,8 +160,9 @@ LL \| impl Tr2<i32, X = Qux, Y = usize> for Bar {`
`157`	`160`	`\|`
`158`	`161`	`help: consider removing this associated item binding`
`159`	`162`	`\|`
`160`		`-LL \| impl Tr2<i32, X = Qux, Y = usize> for Bar {`
`161`		`- \| ~~~~~~~~~`
	`163`	`+LL - impl Tr2<i32, X = Qux, Y = usize> for Bar {`
	`164`	`+LL + impl Tr2<i32, Y = usize> for Bar {`
	`165`	`+ \|`
`162`	`166`
`163`	`167`	`error[E0107]: trait takes 3 generic arguments but 2 generic arguments were supplied`
`164`	`168`	`--> $DIR/associated-types-eq-2.rs:61:6`
`@@ -228,8 +232,9 @@ LL \| impl Tr3<n = 42, T2 = Qux, T3 = usize> for Qux {`
`228`	`232`	`\|`
`229`	`233`	`help: consider removing this associated item binding`
`230`	`234`	`\|`
`231`		`-LL \| impl Tr3<n = 42, T2 = Qux, T3 = usize> for Qux {`
`232`		`- \| ~~~~~~~`
	`235`	`+LL - impl Tr3<n = 42, T2 = Qux, T3 = usize> for Qux {`
	`236`	`+LL + impl Tr3<T2 = Qux, T3 = usize> for Qux {`
	`237`	`+ \|`
`233`	`238`
`234`	`239`	`error[E0229]: associated item constraints are not allowed here`
`235`	`240`	`--> $DIR/associated-types-eq-2.rs:92:10`
`@@ -239,8 +244,9 @@ LL \| impl Tr3<N = u32, T2 = Qux, T3 = usize> for Bar {`
`239`	`244`	`\|`
`240`	`245`	`help: consider removing this associated item binding`
`241`	`246`	`\|`
`242`		`-LL \| impl Tr3<N = u32, T2 = Qux, T3 = usize> for Bar {`
`243`		`- \| ~~~~~~~~`
	`247`	`+LL - impl Tr3<N = u32, T2 = Qux, T3 = usize> for Bar {`
	`248`	`+LL + impl Tr3<T2 = Qux, T3 = usize> for Bar {`
	`249`	`+ \|`
`244`	`250`
`245`	`251`	`error[E0107]: trait takes 3 generic arguments but 1 generic argument was supplied`
`246`	`252`	`--> $DIR/associated-types-eq-2.rs:98:6`
`@@ -268,8 +274,9 @@ LL \| impl Tr3<42, T2 = 42, T3 = usize> for Bar {`
`268`	`274`	`\|`
`269`	`275`	`help: consider removing this associated item binding`
`270`	`276`	`\|`
`271`		`-LL \| impl Tr3<42, T2 = 42, T3 = usize> for Bar {`
`272`		`- \| ~~~~~~~~~`
	`277`	`+LL - impl Tr3<42, T2 = 42, T3 = usize> for Bar {`
	`278`	`+LL + impl Tr3<42, T3 = usize> for Bar {`
	`279`	`+ \|`
`273`	`280`
`274`	`281`	`error[E0107]: trait takes 3 generic arguments but 0 generic arguments were supplied`
`275`	`282`	`--> $DIR/associated-types-eq-2.rs:106:6`
`@@ -295,8 +302,9 @@ LL \| impl Tr3<X = 42, Y = Qux, Z = usize> for Bar {`
`295`	`302`	`\|`
`296`	`303`	`help: consider removing this associated item binding`
`297`	`304`	`\|`
`298`		`-LL \| impl Tr3<X = 42, Y = Qux, Z = usize> for Bar {`
`299`		`- \| ~~~~~~~`
	`305`	`+LL - impl Tr3<X = 42, Y = Qux, Z = usize> for Bar {`
	`306`	`+LL + impl Tr3<Y = Qux, Z = usize> for Bar {`
	`307`	`+ \|`
`300`	`308`
`301`	`309`	`error[E0107]: struct takes 1 generic argument but 0 generic arguments were supplied`
`302`	`310`	`--> $DIR/associated-types-eq-2.rs:117:13`
Original file line number	Diff line number	Diff line change
`@@ -15,8 +15,9 @@ LL \| impl Super1<'_, bar(..): Send> for () {}`
`15`	`15`	`\|`
`16`	`16`	`help: consider removing this associated item constraint`
`17`	`17`	`\|`
`18`		`-LL \| impl Super1<'_, bar(..): Send> for () {}`
`19`		`- \| ~~~~~~~~~~~~~~~`
	`18`	`+LL - impl Super1<'_, bar(..): Send> for () {}`
	`19`	`+LL + impl Super1<'_> for () {}`
	`20`	`+ \|`
`20`	`21`
`21`	`22`	error[E0046]: not all trait items implemented, missing: `bar`
`22`	`23`	`--> $DIR/rtn-in-impl-signature.rs:10:1`