Update text/3519-arbitrary-self-types-v2.md

adetaylor · Urhengulas · web-flow · commit 8b2b6df1064b · 2023-11-23T13:22:55.000Z
Co-authored-by: Johann Hemmann &lt;johann.hemmann@code.berlin&gt;
diff --git a/text/3519-arbitrary-self-types-v2.md b/text/3519-arbitrary-self-types-v2.md
@@ -218,11 +218,11 @@ pub trait Receiver {
 A blanket implementation is provided for any type that implements `Deref`:
 
 ```rust
-impl<P: ?Sized, T: ?Sized> Receiver for P
+impl<P: ?Sized> Receiver for P
 where
-    P: Deref<Target = T>,
+    P: Deref,
 {
-    type Target = T;
+    type Target = <P as Deref>::Target;
 }
 ```
 

Original file line number	Diff line number	Diff line change
`@@ -218,11 +218,11 @@ pub trait Receiver {`
`218`	`218`	A blanket implementation is provided for any type that implements `Deref`:
`219`	`219`
`220`	`220`	```rust
`221`		`-impl<P: ?Sized, T: ?Sized> Receiver for P`
	`221`	`+impl<P: ?Sized> Receiver for P`
`222`	`222`	`where`
`223`		`- P: Deref<Target = T>,`
	`223`	`+ P: Deref,`
`224`	`224`	`{`
`225`		`- type Target = T;`
	`225`	`+ type Target = <P as Deref>::Target;`
`226`	`226`	`}`
`227`	`227`	```
`228`	`228`