Use HRTB in E0637 documentation

veera-sivarajan · veera-sivarajan · commit d88cb8053a69 · 2024-03-30T16:40:52.000-04:00
diff --git a/compiler/rustc_error_codes/src/error_codes/E0637.md b/compiler/rustc_error_codes/src/error_codes/E0637.md
@@ -40,9 +40,9 @@ fn underscore_lifetime<'a>(str1: &'a str, str2: &'a str) -> &'a str {
     }
 }
 
-fn and_without_explicit_lifetime<'foo, T>()
+fn and_without_explicit_lifetime<T>()
 where
-    T: Into<&'foo u32>,
+    T: for<'foo> Into<&'foo u32>,
 {
 }
 ```

Original file line number	Diff line number	Diff line change
`@@ -40,9 +40,9 @@ fn underscore_lifetime<'a>(str1: &'a str, str2: &'a str) -> &'a str {`
`40`	`40`	`}`
`41`	`41`	`}`
`42`	`42`
`43`		`-fn and_without_explicit_lifetime<'foo, T>()`
	`43`	`+fn and_without_explicit_lifetime<T>()`
`44`	`44`	`where`
`45`		`- T: Into<&'foo u32>,`
	`45`	`+ T: for<'foo> Into<&'foo u32>,`
`46`	`46`	`{`
`47`	`47`	`}`
`48`	`48`	```