Clarify that provided methods work too

tmandry · tmandry · commit 80f1b44109d6 · 2023-06-12T17:36:37.000-07:00
diff --git a/text/0000-return-position-impl-trait-in-traits.md b/text/0000-return-position-impl-trait-in-traits.md
@@ -179,6 +179,8 @@ impl NewIntoIterator for Vec<u32> {
 }
 ```
 
+The desugaring works the same for provided methods of traits.
+
 ## Scoping rules for generic parameters
 
 We say a generic parameter is "in scope" for an `impl Trait` type if the actual revealed type is allowed to name that parameter. The scoping rules for return position `impl Trait` in traits are the same as [those for return position `impl Trait` generally][scoping]: All type and const parameters are considered in-scope, while lifetime parameters are only considered in-scope if they are mentioned in the `impl Trait` type directly.

Original file line number	Diff line number	Diff line change
`@@ -179,6 +179,8 @@ impl NewIntoIterator for Vec<u32> {`
`179`	`179`	`}`
`180`	`180`	```
`181`	`181`
	`182`	`+The desugaring works the same for provided methods of traits.`
	`183`	`+`
`182`	`184`	`## Scoping rules for generic parameters`
`183`	`185`
`184`	`186`	We say a generic parameter is "in scope" for an `impl Trait` type if the actual revealed type is allowed to name that parameter. The scoping rules for return position `impl Trait` in traits are the same as [those for return position `impl Trait` generally][scoping]: All type and const parameters are considered in-scope, while lifetime parameters are only considered in-scope if they are mentioned in the `impl Trait` type directly.