Change tabstop to self_ty

A4-Tacks · A4-Tacks · commit ee892ad3b245 · 2025-08-30T18:58:39.000+08:00
diff --git a/src/tools/rust-analyzer/crates/ide-assists/src/handlers/generate_blanket_trait_impl.rs b/src/tools/rust-analyzer/crates/ide-assists/src/handlers/generate_blanket_trait_impl.rs
@@ -42,7 +42,7 @@ use syntax::{
 //     }
 // }
 //
-// $0impl<T: Send, This: ToOwned + ?Sized> Foo<T> for This
+// impl<T: Send, This: ToOwned + ?Sized> Foo<T> for $0This
 // where
 //     Self::Owned: Default,
 // {
@@ -128,7 +128,9 @@ pub(crate) fn generate_blanket_trait_impl(
             );
 
             if let Some(cap) = ctx.config.snippet_cap {
-                builder.add_tabstop_before_token(cap, impl_.impl_token().unwrap());
+                if let Some(self_ty) = impl_.self_ty() {
+                    builder.add_tabstop_before(cap, self_ty);
+                }
             }
 
             builder.add_file_edits(ctx.vfs_file_id(), edit);
@@ -314,7 +316,7 @@ where
     }
 }
 
-$0impl<T: Send, This: ToOwned + ?Sized> Foo<T> for This
+impl<T: Send, This: ToOwned + ?Sized> Foo<T> for $0This
 where
     Self::Owned: Default,
 {
@@ -344,7 +346,7 @@ trait Foo: Iterator + Sized {
     }
 }
 
-$0impl<I: Iterator> Foo for I {}
+impl<I: Iterator> Foo for $0I {}
 "#,
         );
 
@@ -360,7 +362,7 @@ trait Foo: Iterator {
     fn foo(self) -> Self::Item;
 }
 
-$0impl<I: Iterator> Foo for I {
+impl<I: Iterator> Foo for $0I {
     fn foo(self) -> Self::Item {
         todo!()
     }
@@ -380,7 +382,7 @@ trait Foo {
     fn foo(&self) -> Self;
 }
 
-$0impl<T> Foo for T {
+impl<T> Foo for $0T {
     fn foo(&self) -> Self {
         todo!()
     }
@@ -403,7 +405,7 @@ trait Foo: Iterator {
     fn foo(&self) -> Self::Item;
 }
 
-$0impl<I: Iterator + ?Sized> Foo for I {
+impl<I: Iterator + ?Sized> Foo for $0I {
     fn foo(&self) -> Self::Item {
         todo!()
     }
@@ -426,7 +428,7 @@ trait Foo: Iterator {
     fn each(self) where Self: Sized;
 }
 
-$0impl<I: Iterator + ?Sized> Foo for I {
+impl<I: Iterator + ?Sized> Foo for $0I {
     fn foo(&self) -> Self::Item {
         todo!()
     }
@@ -453,7 +455,7 @@ trait Foo: Iterator {
     fn each(&self) -> Self where Self: Sized;
 }
 
-$0impl<I: Iterator + ?Sized> Foo for I {
+impl<I: Iterator + ?Sized> Foo for $0I {
     fn foo(&self) -> Self::Item {
         todo!()
     }
@@ -497,7 +499,7 @@ mod foo {
         }
     }
 
-    $0impl<T: Send, This: ToOwned + ?Sized> Foo<T> for This
+    impl<T: Send, This: ToOwned + ?Sized> Foo<T> for $0This
     where
         Self::Owned: Default,
     {
@@ -539,7 +541,7 @@ mod foo {
         }
     }
 
-    $0impl<T: Send, This: ToOwned + ?Sized> Foo<T> for This
+    impl<T: Send, This: ToOwned + ?Sized> Foo<T> for $0This
     where
         Self::Owned: Default,
         Self: Send,
@@ -585,7 +587,7 @@ mod foo {
             }
         }
 
-        $0impl<T: Send, This: ToOwned + ?Sized> Foo<T> for This
+        impl<T: Send, This: ToOwned + ?Sized> Foo<T> for $0This
         where
             Self::Owned: Default,
             Self: Send,
@@ -621,7 +623,7 @@ mod foo {
         }
     }
 
-    $0impl<T: ?Sized> Foo for T {
+    impl<T: ?Sized> Foo for $0T {
         fn foo(&self) -> i32 {
             todo!()
         }
@@ -655,7 +657,7 @@ mod foo {
             }
         }
 
-        $0impl<T: ?Sized> Foo for T {
+        impl<T: ?Sized> Foo for $0T {
             fn foo(&self) -> i32 {
                 todo!()
             }
@@ -693,7 +695,7 @@ mod foo {
         }
 
         #[cfg(test)]
-        $0impl<T: ?Sized> Foo for T {
+        impl<T: ?Sized> Foo for $0T {
             fn foo(&self) -> i32 {
                 todo!()
             }
@@ -736,7 +738,7 @@ where
     }
 }
 
-$0impl<T: Send, This: ToOwned + ?Sized> Foo<T> for This
+impl<T: Send, This: ToOwned + ?Sized> Foo<T> for $0This
 where
     Self::Owned: Default,
 {
@@ -780,7 +782,7 @@ where
     }
 }
 
-$0impl<T: Send, This: ToOwned + ?Sized> Foo<T> for This
+impl<T: Send, This: ToOwned + ?Sized> Foo<T> for $0This
 where
     Self::Owned: Default,
 {
@@ -826,7 +828,7 @@ where
     }
 }
 
-$0impl<T: Send, This: ?Sized> Foo<T> for This
+impl<T: Send, This: ?Sized> Foo<T> for $0This
 where
     Self: ToOwned,
     Self::Owned: Default,
@@ -865,7 +867,7 @@ trait Foo<T: Send> {
     }
 }
 
-$0impl<T: Send, This: ?Sized> Foo<T> for This {
+impl<T: Send, This: ?Sized> Foo<T> for $0This {
     fn foo(&self, x: Self::X) -> T {
         todo!()
     }
@@ -900,7 +902,7 @@ trait Foo {
     }
 }
 
-$0impl<T: ?Sized> Foo for T {
+impl<T: ?Sized> Foo for $0T {
     fn foo(&self, x: Self::X) -> i32 {
         todo!()
     }
@@ -934,7 +936,7 @@ trait Foo {
 }
 
 #[cfg(test)]
-$0impl<T: ?Sized> Foo for T {
+impl<T: ?Sized> Foo for $0T {
     fn foo(&self, x: i32) -> i32 {
         todo!()
     }
@@ -968,7 +970,7 @@ trait Foo {
 }
 
 #[cfg(test)]
-$0impl<T: ?Sized> Foo for T {
+impl<T: ?Sized> Foo for $0T {
     #[cfg(test)]
     fn foo(&self, x: i32) -> i32 {
         todo!()
@@ -988,7 +990,7 @@ trait $0Foo {}
             r#"
 trait Foo {}
 
-$0impl<T: ?Sized> Foo for T {}
+impl<T: ?Sized> Foo for $0T {}
 "#,
         );
     }
@@ -1003,7 +1005,7 @@ trait $0Foo: Copy {}
             r#"
 trait Foo: Copy {}
 
-$0impl<T: Copy + ?Sized> Foo for T {}
+impl<T: Copy + ?Sized> Foo for $0T {}
 "#,
         );
     }
@@ -1018,7 +1020,7 @@ trait $0Foo where Self: Copy {}
             r#"
 trait Foo where Self: Copy {}
 
-$0impl<T: ?Sized> Foo for T
+impl<T: ?Sized> Foo for $0T
 where Self: Copy
 {
 }
@@ -1036,7 +1038,7 @@ trait $0Foo where Self: Copy, {}
             r#"
 trait Foo where Self: Copy, {}
 
-$0impl<T: ?Sized> Foo for T
+impl<T: ?Sized> Foo for $0T
 where Self: Copy,
 {
 }
@@ -1058,7 +1060,7 @@ trait Foo
 where Self: Copy
 {}
 
-$0impl<T: ?Sized> Foo for T
+impl<T: ?Sized> Foo for $0T
 where Self: Copy
 {
 }
@@ -1082,7 +1084,7 @@ where
     Self: Copy
 {}
 
-$0impl<T: ?Sized> Foo for T
+impl<T: ?Sized> Foo for $0T
 where
     Self: Copy
 {
@@ -1107,7 +1109,7 @@ where
     Self: Copy,
 {}
 
-$0impl<T: ?Sized> Foo for T
+impl<T: ?Sized> Foo for $0T
 where
     Self: Copy,
 {
@@ -1134,7 +1136,7 @@ where
     (): Into<Self>,
 {}
 
-$0impl<T: ?Sized> Foo for T
+impl<T: ?Sized> Foo for $0T
 where
     Self: Copy,
     (): Into<Self>,
@@ -1162,7 +1164,7 @@ where
     (): Into<Self>,
 {}
 
-$0impl<T: ?Sized> Foo for T
+impl<T: ?Sized> Foo for $0T
 where
     Self: Copy + Sync,
     (): Into<Self>,
@@ -1186,7 +1188,7 @@ trait Foo {
     fn foo(&self) {}
 }
 
-$0impl<T: ?Sized> Foo for T {}
+impl<T: ?Sized> Foo for $0T {}
 "#,
         );
     }
@@ -1203,7 +1205,7 @@ trait $0Foo {}
 /// some docs
 trait Foo {}
 
-$0impl<T: ?Sized> Foo for T {}
+impl<T: ?Sized> Foo for $0T {}
 "#,
         );
     }
@@ -1224,7 +1226,7 @@ trait Foo {
     fn bar(&self);
 }
 
-$0impl<T: ?Sized> Foo for T {
+impl<T: ?Sized> Foo for $0T {
     fn foo(&self) {
         todo!()
     }
@@ -1253,7 +1255,7 @@ trait Foo {
     fn bar<T>(&self, value: i32) -> i32 { todo!() }
 }
 
-$0impl<T: ?Sized> Foo for T {
+impl<T: ?Sized> Foo for $0T {
     fn foo<T>(&self, value: i32) -> i32 {
         todo!()
     }
@@ -1276,7 +1278,7 @@ trait Foo<'a> {
     fn foo(&self) -> &'a str;
 }
 
-$0impl<'a, T: ?Sized> Foo<'a> for T {
+impl<'a, T: ?Sized> Foo<'a> for $0T {
     fn foo(&self) -> &'a str {
         todo!()
     }
@@ -1299,7 +1301,7 @@ trait Foo<'a: 'static> {
     fn foo(&self) -> &'a str;
 }
 
-$0impl<'a: 'static, T: ?Sized> Foo<'a> for T {
+impl<'a: 'static, T: ?Sized> Foo<'a> for $0T {
     fn foo(&self) -> &'a str {
         todo!()
     }
@@ -1322,7 +1324,7 @@ trait Foo<'a>: 'a {
     fn foo(&self) -> &'a str;
 }
 
-$0impl<'a, T: 'a + ?Sized> Foo<'a> for T {
+impl<'a, T: 'a + ?Sized> Foo<'a> for $0T {
     fn foo(&self) -> &'a str {
         todo!()
     }
@@ -1345,7 +1347,7 @@ trait Foo<'a, 'b> {
     fn foo(&self) -> &'a &'b str;
 }
 
-$0impl<'a, 'b, T: ?Sized> Foo<'a, 'b> for T {
+impl<'a, 'b, T: ?Sized> Foo<'a, 'b> for $0T {
     fn foo(&self) -> &'a &'b str {
         todo!()
     }
@@ -1372,7 +1374,7 @@ where 'a: 'static,
     fn foo(&self) -> &'a str;
 }
 
-$0impl<'a, T: ?Sized> Foo<'a> for T
+impl<'a, T: ?Sized> Foo<'a> for $0T
 where 'a: 'static,
 {
     fn foo(&self) -> &'a str {
@@ -1459,7 +1461,7 @@ trait Foo {
     }
 }
 
-$0impl<T: ?Sized> Foo for T {
+impl<T: ?Sized> Foo for $0T {
     fn foo(&self) -> i32 {
         todo!()
     }
@@ -1496,7 +1498,7 @@ trait Foo {
     }
 }
 
-$0impl<T: ?Sized> Foo for T {
+impl<T: ?Sized> Foo for $0T {
     fn foo(&self) -> i32 {
         todo!()
     }
diff --git a/src/tools/rust-analyzer/crates/ide-assists/src/tests/generated.rs b/src/tools/rust-analyzer/crates/ide-assists/src/tests/generated.rs
@@ -1339,7 +1339,7 @@ where
     }
 }
 
-$0impl<T: Send, This: ToOwned + ?Sized> Foo<T> for This
+impl<T: Send, This: ToOwned + ?Sized> Foo<T> for $0This
 where
     Self::Owned: Default,
 {

Original file line number	Diff line number	Diff line change
`@@ -42,7 +42,7 @@ use syntax::{`
`42`	`42`	`// }`
`43`	`43`	`// }`
`44`	`44`	`//`
`45`		`-// $0impl<T: Send, This: ToOwned + ?Sized> Foo<T> for This`
	`45`	`+// impl<T: Send, This: ToOwned + ?Sized> Foo<T> for $0This`
`46`	`46`	`// where`
`47`	`47`	`// Self::Owned: Default,`
`48`	`48`	`// {`
`@@ -128,7 +128,9 @@ pub(crate) fn generate_blanket_trait_impl(`
`128`	`128`	`);`
`129`	`129`
`130`	`130`	`if let Some(cap) = ctx.config.snippet_cap {`
`131`		`- builder.add_tabstop_before_token(cap, impl_.impl_token().unwrap());`
	`131`	`+ if let Some(self_ty) = impl_.self_ty() {`
	`132`	`+ builder.add_tabstop_before(cap, self_ty);`
	`133`	`+ }`
`132`	`134`	`}`
`133`	`135`
`134`	`136`	`builder.add_file_edits(ctx.vfs_file_id(), edit);`
`@@ -314,7 +316,7 @@ where`
`314`	`316`	`}`
`315`	`317`	`}`
`316`	`318`
`317`		`-$0impl<T: Send, This: ToOwned + ?Sized> Foo<T> for This`
	`319`	`+impl<T: Send, This: ToOwned + ?Sized> Foo<T> for $0This`
`318`	`320`	`where`
`319`	`321`	`Self::Owned: Default,`
`320`	`322`	`{`
`@@ -344,7 +346,7 @@ trait Foo: Iterator + Sized {`
`344`	`346`	`}`
`345`	`347`	`}`
`346`	`348`
`347`		`-$0impl<I: Iterator> Foo for I {}`
	`349`	`+impl<I: Iterator> Foo for $0I {}`
`348`	`350`	`"#,`
`349`	`351`	`);`
`350`	`352`
`@@ -360,7 +362,7 @@ trait Foo: Iterator {`
`360`	`362`	`fn foo(self) -> Self::Item;`
`361`	`363`	`}`
`362`	`364`
`363`		`-$0impl<I: Iterator> Foo for I {`
	`365`	`+impl<I: Iterator> Foo for $0I {`
`364`	`366`	`fn foo(self) -> Self::Item {`
`365`	`367`	`todo!()`
`366`	`368`	`}`
`@@ -380,7 +382,7 @@ trait Foo {`
`380`	`382`	`fn foo(&self) -> Self;`
`381`	`383`	`}`
`382`	`384`
`383`		`-$0impl<T> Foo for T {`
	`385`	`+impl<T> Foo for $0T {`
`384`	`386`	`fn foo(&self) -> Self {`
`385`	`387`	`todo!()`
`386`	`388`	`}`
`@@ -403,7 +405,7 @@ trait Foo: Iterator {`
`403`	`405`	`fn foo(&self) -> Self::Item;`
`404`	`406`	`}`
`405`	`407`
`406`		`-$0impl<I: Iterator + ?Sized> Foo for I {`
	`408`	`+impl<I: Iterator + ?Sized> Foo for $0I {`
`407`	`409`	`fn foo(&self) -> Self::Item {`
`408`	`410`	`todo!()`
`409`	`411`	`}`
`@@ -426,7 +428,7 @@ trait Foo: Iterator {`
`426`	`428`	`fn each(self) where Self: Sized;`
`427`	`429`	`}`
`428`	`430`
`429`		`-$0impl<I: Iterator + ?Sized> Foo for I {`
	`431`	`+impl<I: Iterator + ?Sized> Foo for $0I {`
`430`	`432`	`fn foo(&self) -> Self::Item {`
`431`	`433`	`todo!()`
`432`	`434`	`}`
`@@ -453,7 +455,7 @@ trait Foo: Iterator {`
`453`	`455`	`fn each(&self) -> Self where Self: Sized;`
`454`	`456`	`}`
`455`	`457`
`456`		`-$0impl<I: Iterator + ?Sized> Foo for I {`
	`458`	`+impl<I: Iterator + ?Sized> Foo for $0I {`
`457`	`459`	`fn foo(&self) -> Self::Item {`
`458`	`460`	`todo!()`
`459`	`461`	`}`
`@@ -497,7 +499,7 @@ mod foo {`
`497`	`499`	`}`
`498`	`500`	`}`
`499`	`501`
`500`		`- $0impl<T: Send, This: ToOwned + ?Sized> Foo<T> for This`
	`502`	`+ impl<T: Send, This: ToOwned + ?Sized> Foo<T> for $0This`
`501`	`503`	`where`
`502`	`504`	`Self::Owned: Default,`
`503`	`505`	`{`
`@@ -539,7 +541,7 @@ mod foo {`
`539`	`541`	`}`
`540`	`542`	`}`
`541`	`543`
`542`		`- $0impl<T: Send, This: ToOwned + ?Sized> Foo<T> for This`
	`544`	`+ impl<T: Send, This: ToOwned + ?Sized> Foo<T> for $0This`
`543`	`545`	`where`
`544`	`546`	`Self::Owned: Default,`
`545`	`547`	`Self: Send,`
`@@ -585,7 +587,7 @@ mod foo {`
`585`	`587`	`}`
`586`	`588`	`}`
`587`	`589`
`588`		`- $0impl<T: Send, This: ToOwned + ?Sized> Foo<T> for This`
	`590`	`+ impl<T: Send, This: ToOwned + ?Sized> Foo<T> for $0This`
`589`	`591`	`where`
`590`	`592`	`Self::Owned: Default,`
`591`	`593`	`Self: Send,`
`@@ -621,7 +623,7 @@ mod foo {`
`621`	`623`	`}`
`622`	`624`	`}`
`623`	`625`
`624`		`- $0impl<T: ?Sized> Foo for T {`
	`626`	`+ impl<T: ?Sized> Foo for $0T {`
`625`	`627`	`fn foo(&self) -> i32 {`
`626`	`628`	`todo!()`
`627`	`629`	`}`
`@@ -655,7 +657,7 @@ mod foo {`
`655`	`657`	`}`
`656`	`658`	`}`
`657`	`659`
`658`		`- $0impl<T: ?Sized> Foo for T {`
	`660`	`+ impl<T: ?Sized> Foo for $0T {`
`659`	`661`	`fn foo(&self) -> i32 {`
`660`	`662`	`todo!()`
`661`	`663`	`}`
`@@ -693,7 +695,7 @@ mod foo {`
`693`	`695`	`}`
`694`	`696`
`695`	`697`	`#[cfg(test)]`
`696`		`- $0impl<T: ?Sized> Foo for T {`
	`698`	`+ impl<T: ?Sized> Foo for $0T {`
`697`	`699`	`fn foo(&self) -> i32 {`
`698`	`700`	`todo!()`
`699`	`701`	`}`
`@@ -736,7 +738,7 @@ where`
`736`	`738`	`}`
`737`	`739`	`}`
`738`	`740`
`739`		`-$0impl<T: Send, This: ToOwned + ?Sized> Foo<T> for This`
	`741`	`+impl<T: Send, This: ToOwned + ?Sized> Foo<T> for $0This`
`740`	`742`	`where`
`741`	`743`	`Self::Owned: Default,`
`742`	`744`	`{`
`@@ -780,7 +782,7 @@ where`
`780`	`782`	`}`
`781`	`783`	`}`
`782`	`784`
`783`		`-$0impl<T: Send, This: ToOwned + ?Sized> Foo<T> for This`
	`785`	`+impl<T: Send, This: ToOwned + ?Sized> Foo<T> for $0This`
`784`	`786`	`where`
`785`	`787`	`Self::Owned: Default,`
`786`	`788`	`{`
`@@ -826,7 +828,7 @@ where`
`826`	`828`	`}`
`827`	`829`	`}`
`828`	`830`
`829`		`-$0impl<T: Send, This: ?Sized> Foo<T> for This`
	`831`	`+impl<T: Send, This: ?Sized> Foo<T> for $0This`
`830`	`832`	`where`
`831`	`833`	`Self: ToOwned,`
`832`	`834`	`Self::Owned: Default,`
`@@ -865,7 +867,7 @@ trait Foo<T: Send> {`
`865`	`867`	`}`
`866`	`868`	`}`
`867`	`869`
`868`		`-$0impl<T: Send, This: ?Sized> Foo<T> for This {`
	`870`	`+impl<T: Send, This: ?Sized> Foo<T> for $0This {`
`869`	`871`	`fn foo(&self, x: Self::X) -> T {`
`870`	`872`	`todo!()`
`871`	`873`	`}`
`@@ -900,7 +902,7 @@ trait Foo {`
`900`	`902`	`}`
`901`	`903`	`}`
`902`	`904`
`903`		`-$0impl<T: ?Sized> Foo for T {`
	`905`	`+impl<T: ?Sized> Foo for $0T {`
`904`	`906`	`fn foo(&self, x: Self::X) -> i32 {`
`905`	`907`	`todo!()`
`906`	`908`	`}`
`@@ -934,7 +936,7 @@ trait Foo {`
`934`	`936`	`}`
`935`	`937`
`936`	`938`	`#[cfg(test)]`
`937`		`-$0impl<T: ?Sized> Foo for T {`
	`939`	`+impl<T: ?Sized> Foo for $0T {`
`938`	`940`	`fn foo(&self, x: i32) -> i32 {`
`939`	`941`	`todo!()`
`940`	`942`	`}`
`@@ -968,7 +970,7 @@ trait Foo {`
`968`	`970`	`}`
`969`	`971`
`970`	`972`	`#[cfg(test)]`
`971`		`-$0impl<T: ?Sized> Foo for T {`
	`973`	`+impl<T: ?Sized> Foo for $0T {`
`972`	`974`	`#[cfg(test)]`
`973`	`975`	`fn foo(&self, x: i32) -> i32 {`
`974`	`976`	`todo!()`
`@@ -988,7 +990,7 @@ trait $0Foo {}`
`988`	`990`	`r#"`
`989`	`991`	`trait Foo {}`
`990`	`992`
`991`		`-$0impl<T: ?Sized> Foo for T {}`
	`993`	`+impl<T: ?Sized> Foo for $0T {}`
`992`	`994`	`"#,`
`993`	`995`	`);`
`994`	`996`	`}`
`@@ -1003,7 +1005,7 @@ trait $0Foo: Copy {}`
`1003`	`1005`	`r#"`
`1004`	`1006`	`trait Foo: Copy {}`
`1005`	`1007`
`1006`		`-$0impl<T: Copy + ?Sized> Foo for T {}`
	`1008`	`+impl<T: Copy + ?Sized> Foo for $0T {}`
`1007`	`1009`	`"#,`
`1008`	`1010`	`);`
`1009`	`1011`	`}`
`@@ -1018,7 +1020,7 @@ trait $0Foo where Self: Copy {}`
`1018`	`1020`	`r#"`
`1019`	`1021`	`trait Foo where Self: Copy {}`
`1020`	`1022`
`1021`		`-$0impl<T: ?Sized> Foo for T`
	`1023`	`+impl<T: ?Sized> Foo for $0T`
`1022`	`1024`	`where Self: Copy`
`1023`	`1025`	`{`
`1024`	`1026`	`}`
`@@ -1036,7 +1038,7 @@ trait $0Foo where Self: Copy, {}`
`1036`	`1038`	`r#"`
`1037`	`1039`	`trait Foo where Self: Copy, {}`
`1038`	`1040`
`1039`		`-$0impl<T: ?Sized> Foo for T`
	`1041`	`+impl<T: ?Sized> Foo for $0T`
`1040`	`1042`	`where Self: Copy,`
`1041`	`1043`	`{`
`1042`	`1044`	`}`
`@@ -1058,7 +1060,7 @@ trait Foo`
`1058`	`1060`	`where Self: Copy`
`1059`	`1061`	`{}`
`1060`	`1062`
`1061`		`-$0impl<T: ?Sized> Foo for T`
	`1063`	`+impl<T: ?Sized> Foo for $0T`
`1062`	`1064`	`where Self: Copy`
`1063`	`1065`	`{`
`1064`	`1066`	`}`
`@@ -1082,7 +1084,7 @@ where`
`1082`	`1084`	`Self: Copy`
`1083`	`1085`	`{}`
`1084`	`1086`
`1085`		`-$0impl<T: ?Sized> Foo for T`
	`1087`	`+impl<T: ?Sized> Foo for $0T`
`1086`	`1088`	`where`
`1087`	`1089`	`Self: Copy`
`1088`	`1090`	`{`
`@@ -1107,7 +1109,7 @@ where`
`1107`	`1109`	`Self: Copy,`
`1108`	`1110`	`{}`
`1109`	`1111`
`1110`		`-$0impl<T: ?Sized> Foo for T`
	`1112`	`+impl<T: ?Sized> Foo for $0T`
`1111`	`1113`	`where`
`1112`	`1114`	`Self: Copy,`
`1113`	`1115`	`{`
`@@ -1134,7 +1136,7 @@ where`
`1134`	`1136`	`(): Into<Self>,`
`1135`	`1137`	`{}`
`1136`	`1138`
`1137`		`-$0impl<T: ?Sized> Foo for T`
	`1139`	`+impl<T: ?Sized> Foo for $0T`
`1138`	`1140`	`where`
`1139`	`1141`	`Self: Copy,`
`1140`	`1142`	`(): Into<Self>,`
`@@ -1162,7 +1164,7 @@ where`
`1162`	`1164`	`(): Into<Self>,`
`1163`	`1165`	`{}`
`1164`	`1166`
`1165`		`-$0impl<T: ?Sized> Foo for T`
	`1167`	`+impl<T: ?Sized> Foo for $0T`
`1166`	`1168`	`where`
`1167`	`1169`	`Self: Copy + Sync,`
`1168`	`1170`	`(): Into<Self>,`
`@@ -1186,7 +1188,7 @@ trait Foo {`
`1186`	`1188`	`fn foo(&self) {}`
`1187`	`1189`	`}`
`1188`	`1190`
`1189`		`-$0impl<T: ?Sized> Foo for T {}`
	`1191`	`+impl<T: ?Sized> Foo for $0T {}`
`1190`	`1192`	`"#,`
`1191`	`1193`	`);`
`1192`	`1194`	`}`
`@@ -1203,7 +1205,7 @@ trait $0Foo {}`
`1203`	`1205`	`/// some docs`
`1204`	`1206`	`trait Foo {}`
`1205`	`1207`
`1206`		`-$0impl<T: ?Sized> Foo for T {}`
	`1208`	`+impl<T: ?Sized> Foo for $0T {}`
`1207`	`1209`	`"#,`
`1208`	`1210`	`);`
`1209`	`1211`	`}`
`@@ -1224,7 +1226,7 @@ trait Foo {`
`1224`	`1226`	`fn bar(&self);`
`1225`	`1227`	`}`
`1226`	`1228`
`1227`		`-$0impl<T: ?Sized> Foo for T {`
	`1229`	`+impl<T: ?Sized> Foo for $0T {`
`1228`	`1230`	`fn foo(&self) {`
`1229`	`1231`	`todo!()`
`1230`	`1232`	`}`
`@@ -1253,7 +1255,7 @@ trait Foo {`
`1253`	`1255`	`fn bar<T>(&self, value: i32) -> i32 { todo!() }`
`1254`	`1256`	`}`
`1255`	`1257`
`1256`		`-$0impl<T: ?Sized> Foo for T {`
	`1258`	`+impl<T: ?Sized> Foo for $0T {`
`1257`	`1259`	`fn foo<T>(&self, value: i32) -> i32 {`
`1258`	`1260`	`todo!()`
`1259`	`1261`	`}`
`@@ -1276,7 +1278,7 @@ trait Foo<'a> {`
`1276`	`1278`	`fn foo(&self) -> &'a str;`
`1277`	`1279`	`}`
`1278`	`1280`
`1279`		`-$0impl<'a, T: ?Sized> Foo<'a> for T {`
	`1281`	`+impl<'a, T: ?Sized> Foo<'a> for $0T {`
`1280`	`1282`	`fn foo(&self) -> &'a str {`
`1281`	`1283`	`todo!()`
`1282`	`1284`	`}`
`@@ -1299,7 +1301,7 @@ trait Foo<'a: 'static> {`
`1299`	`1301`	`fn foo(&self) -> &'a str;`
`1300`	`1302`	`}`
`1301`	`1303`
`1302`		`-$0impl<'a: 'static, T: ?Sized> Foo<'a> for T {`
	`1304`	`+impl<'a: 'static, T: ?Sized> Foo<'a> for $0T {`
`1303`	`1305`	`fn foo(&self) -> &'a str {`
`1304`	`1306`	`todo!()`
`1305`	`1307`	`}`
`@@ -1322,7 +1324,7 @@ trait Foo<'a>: 'a {`
`1322`	`1324`	`fn foo(&self) -> &'a str;`
`1323`	`1325`	`}`
`1324`	`1326`
`1325`		`-$0impl<'a, T: 'a + ?Sized> Foo<'a> for T {`
	`1327`	`+impl<'a, T: 'a + ?Sized> Foo<'a> for $0T {`
`1326`	`1328`	`fn foo(&self) -> &'a str {`
`1327`	`1329`	`todo!()`
`1328`	`1330`	`}`
`@@ -1345,7 +1347,7 @@ trait Foo<'a, 'b> {`
`1345`	`1347`	`fn foo(&self) -> &'a &'b str;`
`1346`	`1348`	`}`
`1347`	`1349`
`1348`		`-$0impl<'a, 'b, T: ?Sized> Foo<'a, 'b> for T {`
	`1350`	`+impl<'a, 'b, T: ?Sized> Foo<'a, 'b> for $0T {`
`1349`	`1351`	`fn foo(&self) -> &'a &'b str {`
`1350`	`1352`	`todo!()`
`1351`	`1353`	`}`
`@@ -1372,7 +1374,7 @@ where 'a: 'static,`
`1372`	`1374`	`fn foo(&self) -> &'a str;`
`1373`	`1375`	`}`
`1374`	`1376`
`1375`		`-$0impl<'a, T: ?Sized> Foo<'a> for T`
	`1377`	`+impl<'a, T: ?Sized> Foo<'a> for $0T`
`1376`	`1378`	`where 'a: 'static,`
`1377`	`1379`	`{`
`1378`	`1380`	`fn foo(&self) -> &'a str {`
`@@ -1459,7 +1461,7 @@ trait Foo {`
`1459`	`1461`	`}`
`1460`	`1462`	`}`
`1461`	`1463`
`1462`		`-$0impl<T: ?Sized> Foo for T {`
	`1464`	`+impl<T: ?Sized> Foo for $0T {`
`1463`	`1465`	`fn foo(&self) -> i32 {`
`1464`	`1466`	`todo!()`
`1465`	`1467`	`}`
`@@ -1496,7 +1498,7 @@ trait Foo {`
`1496`	`1498`	`}`
`1497`	`1499`	`}`
`1498`	`1500`
`1499`		`-$0impl<T: ?Sized> Foo for T {`
	`1501`	`+impl<T: ?Sized> Foo for $0T {`
`1500`	`1502`	`fn foo(&self) -> i32 {`
`1501`	`1503`	`todo!()`
`1502`	`1504`	`}`
Original file line number	Diff line number	Diff line change
`@@ -1339,7 +1339,7 @@ where`
`1339`	`1339`	`}`
`1340`	`1340`	`}`
`1341`	`1341`
`1342`		`-$0impl<T: Send, This: ToOwned + ?Sized> Foo<T> for This`
	`1342`	`+impl<T: Send, This: ToOwned + ?Sized> Foo<T> for $0This`
`1343`	`1343`	`where`
`1344`	`1344`	`Self::Owned: Default,`
`1345`	`1345`	`{`