Rollup merge of #92018 - estebank:missing-ticks, r=oli-obk

matthiaskrgr · web-flow · commit fedb525e1177 · 2021-12-18T11:28:05.000+01:00
Fix typo in "new region bound" suggestion

The lifetime name shoud always appear in text surrounded by `.
diff --git a/compiler/rustc_infer/src/infer/error_reporting/mod.rs b/compiler/rustc_infer/src/infer/error_reporting/mod.rs
@@ -275,7 +275,7 @@ pub fn unexpected_hidden_region_diagnostic(
                     fn_returns,
                     hidden_region.to_string(),
                     None,
-                    format!("captures {}", hidden_region),
+                    format!("captures `{}`", hidden_region),
                     None,
                 )
             }
diff --git a/src/test/ui/async-await/multiple-lifetimes/ret-impl-trait-one.nll.stderr b/src/test/ui/async-await/multiple-lifetimes/ret-impl-trait-one.nll.stderr
@@ -21,7 +21,7 @@ LL | async fn async_ret_impl_trait1<'a, 'b>(a: &'a u8, b: &'b u8) -> impl Trait<
    |                                    |
    |                                    hidden type `(&'a u8, &'b u8)` captures the lifetime `'b` as defined here
    |
-help: to declare that the `impl Trait` captures 'b, you can add an explicit `'b` lifetime bound
+help: to declare that the `impl Trait` captures `'b`, you can add an explicit `'b` lifetime bound
    |
 LL | async fn async_ret_impl_trait1<'a, 'b>(a: &'a u8, b: &'b u8) -> impl Trait<'a> + 'b {
    |                                                                                ++++
diff --git a/src/test/ui/async-await/multiple-lifetimes/ret-impl-trait-one.stderr b/src/test/ui/async-await/multiple-lifetimes/ret-impl-trait-one.stderr
@@ -16,7 +16,7 @@ LL | async fn async_ret_impl_trait1<'a, 'b>(a: &'a u8, b: &'b u8) -> impl Trait<
    |                                    |
    |                                    hidden type `(&'a u8, &'b u8)` captures the lifetime `'b` as defined here
    |
-help: to declare that the `impl Trait` captures 'b, you can add an explicit `'b` lifetime bound
+help: to declare that the `impl Trait` captures `'b`, you can add an explicit `'b` lifetime bound
    |
 LL | async fn async_ret_impl_trait1<'a, 'b>(a: &'a u8, b: &'b u8) -> impl Trait<'a> + 'b {
    |                                                                                ++++
diff --git a/src/test/ui/impl-trait/hidden-lifetimes.stderr b/src/test/ui/impl-trait/hidden-lifetimes.stderr
@@ -6,7 +6,7 @@ LL | fn hide_ref<'a, 'b, T: 'static>(x: &'a mut &'b T) -> impl Swap + 'a {
    |                 |
    |                 hidden type `&'a mut &'b T` captures the lifetime `'b` as defined here
    |
-help: to declare that the `impl Trait` captures 'b, you can add an explicit `'b` lifetime bound
+help: to declare that the `impl Trait` captures `'b`, you can add an explicit `'b` lifetime bound
    |
 LL | fn hide_ref<'a, 'b, T: 'static>(x: &'a mut &'b T) -> impl Swap + 'a + 'b {
    |                                                                     ++++
@@ -19,7 +19,7 @@ LL | fn hide_rc_refcell<'a, 'b: 'a, T: 'static>(x: Rc<RefCell<&'b T>>) -> impl S
    |                        |
    |                        hidden type `Rc<RefCell<&'b T>>` captures the lifetime `'b` as defined here
    |
-help: to declare that the `impl Trait` captures 'b, you can add an explicit `'b` lifetime bound
+help: to declare that the `impl Trait` captures `'b`, you can add an explicit `'b` lifetime bound
    |
 LL | fn hide_rc_refcell<'a, 'b: 'a, T: 'static>(x: Rc<RefCell<&'b T>>) -> impl Swap + 'a + 'b {
    |                                                                                     ++++
diff --git a/src/test/ui/impl-trait/multiple-lifetimes/ordinary-bounds-unrelated.stderr b/src/test/ui/impl-trait/multiple-lifetimes/ordinary-bounds-unrelated.stderr
@@ -6,7 +6,7 @@ LL | fn upper_bounds<'a, 'b, 'c, 'd, 'e>(a: Ordinary<'a>, b: Ordinary<'b>) -> im
    |                     |
    |                     hidden type `Ordinary<'b>` captures the lifetime `'b` as defined here
    |
-help: to declare that the `impl Trait` captures 'b, you can add an explicit `'b` lifetime bound
+help: to declare that the `impl Trait` captures `'b`, you can add an explicit `'b` lifetime bound
    |
 LL | fn upper_bounds<'a, 'b, 'c, 'd, 'e>(a: Ordinary<'a>, b: Ordinary<'b>) -> impl Trait<'d, 'e> + 'b
    |                                                                                             ++++
diff --git a/src/test/ui/impl-trait/multiple-lifetimes/ordinary-bounds-unsuited.stderr b/src/test/ui/impl-trait/multiple-lifetimes/ordinary-bounds-unsuited.stderr
@@ -6,7 +6,7 @@ LL | fn upper_bounds<'a, 'b>(a: Ordinary<'a>, b: Ordinary<'b>) -> impl Trait<'a,
    |                     |
    |                     hidden type `Ordinary<'b>` captures the lifetime `'b` as defined here
    |
-help: to declare that the `impl Trait` captures 'b, you can add an explicit `'b` lifetime bound
+help: to declare that the `impl Trait` captures `'b`, you can add an explicit `'b` lifetime bound
    |
 LL | fn upper_bounds<'a, 'b>(a: Ordinary<'a>, b: Ordinary<'b>) -> impl Trait<'a, 'b> + 'b
    |                                                                                 ++++
diff --git a/src/test/ui/impl-trait/must_outlive_least_region_or_bound.nll.stderr b/src/test/ui/impl-trait/must_outlive_least_region_or_bound.nll.stderr
@@ -6,7 +6,7 @@ LL | fn elided(x: &i32) -> impl Copy { x }
    |              |
    |              hidden type `&i32` captures the anonymous lifetime defined here
    |
-help: to declare that the `impl Trait` captures '_, you can add an explicit `'_` lifetime bound
+help: to declare that the `impl Trait` captures `'_`, you can add an explicit `'_` lifetime bound
    |
 LL | fn elided(x: &i32) -> impl Copy + '_ { x }
    |                                 ++++
@@ -19,7 +19,7 @@ LL | fn explicit<'a>(x: &'a i32) -> impl Copy { x }
    |             |
    |             hidden type `&'a i32` captures the lifetime `'a` as defined here
    |
-help: to declare that the `impl Trait` captures 'a, you can add an explicit `'a` lifetime bound
+help: to declare that the `impl Trait` captures `'a`, you can add an explicit `'a` lifetime bound
    |
 LL | fn explicit<'a>(x: &'a i32) -> impl Copy + 'a { x }
    |                                          ++++
@@ -74,7 +74,7 @@ LL | fn move_lifetime_into_fn<'a, 'b>(x: &'a u32, y: &'b u32) -> impl Fn(&'a u32
    |                              |
    |                              hidden type `[closure@$DIR/must_outlive_least_region_or_bound.rs:35:5: 35:31]` captures the lifetime `'b` as defined here
    |
-help: to declare that the `impl Trait` captures 'b, you can add an explicit `'b` lifetime bound
+help: to declare that the `impl Trait` captures `'b`, you can add an explicit `'b` lifetime bound
    |
 LL | fn move_lifetime_into_fn<'a, 'b>(x: &'a u32, y: &'b u32) -> impl Fn(&'a u32) + 'b {
    |                                                                              ++++
diff --git a/src/test/ui/impl-trait/must_outlive_least_region_or_bound.stderr b/src/test/ui/impl-trait/must_outlive_least_region_or_bound.stderr
@@ -6,7 +6,7 @@ LL | fn elided(x: &i32) -> impl Copy { x }
    |              |
    |              hidden type `&i32` captures the anonymous lifetime defined here
    |
-help: to declare that the `impl Trait` captures '_, you can add an explicit `'_` lifetime bound
+help: to declare that the `impl Trait` captures `'_`, you can add an explicit `'_` lifetime bound
    |
 LL | fn elided(x: &i32) -> impl Copy + '_ { x }
    |                                 ++++
@@ -19,7 +19,7 @@ LL | fn explicit<'a>(x: &'a i32) -> impl Copy { x }
    |             |
    |             hidden type `&'a i32` captures the lifetime `'a` as defined here
    |
-help: to declare that the `impl Trait` captures 'a, you can add an explicit `'a` lifetime bound
+help: to declare that the `impl Trait` captures `'a`, you can add an explicit `'a` lifetime bound
    |
 LL | fn explicit<'a>(x: &'a i32) -> impl Copy + 'a { x }
    |                                          ++++
@@ -119,7 +119,7 @@ LL | fn move_lifetime_into_fn<'a, 'b>(x: &'a u32, y: &'b u32) -> impl Fn(&'a u32
    |                              |
    |                              hidden type `[closure@$DIR/must_outlive_least_region_or_bound.rs:35:5: 35:31]` captures the lifetime `'b` as defined here
    |
-help: to declare that the `impl Trait` captures 'b, you can add an explicit `'b` lifetime bound
+help: to declare that the `impl Trait` captures `'b`, you can add an explicit `'b` lifetime bound
    |
 LL | fn move_lifetime_into_fn<'a, 'b>(x: &'a u32, y: &'b u32) -> impl Fn(&'a u32) + 'b {
    |                                                                              ++++
diff --git a/src/test/ui/impl-trait/region-escape-via-bound.stderr b/src/test/ui/impl-trait/region-escape-via-bound.stderr
@@ -7,7 +7,7 @@ LL |
 LL | where 'x: 'y
    |       -- hidden type `Cell<&'x u32>` captures the lifetime `'x` as defined here
    |
-help: to declare that the `impl Trait` captures 'x, you can add an explicit `'x` lifetime bound
+help: to declare that the `impl Trait` captures `'x`, you can add an explicit `'x` lifetime bound
    |
 LL | fn foo(x: Cell<&'x u32>) -> impl Trait<'y> + 'x
    |                                            ++++
diff --git a/src/test/ui/impl-trait/static-return-lifetime-infered.stderr b/src/test/ui/impl-trait/static-return-lifetime-infered.stderr
@@ -6,7 +6,7 @@ LL |     fn iter_values_anon(&self) -> impl Iterator<Item=u32> {
    |                         |
    |                         hidden type `Map<std::slice::Iter<'_, (u32, u32)>, [closure@$DIR/static-return-lifetime-infered.rs:9:27: 9:34]>` captures the anonymous lifetime defined here
    |
-help: to declare that the `impl Trait` captures '_, you can add an explicit `'_` lifetime bound
+help: to declare that the `impl Trait` captures `'_`, you can add an explicit `'_` lifetime bound
    |
 LL |     fn iter_values_anon(&self) -> impl Iterator<Item=u32> + '_ {
    |                                                           ++++
@@ -19,7 +19,7 @@ LL |     fn iter_values_anon(&self) -> impl Iterator<Item=u32> {
    |                         |
    |                         hidden type `Map<std::slice::Iter<'_, (u32, u32)>, [closure@$DIR/static-return-lifetime-infered.rs:9:27: 9:34]>` captures the anonymous lifetime defined here
    |
-help: to declare that the `impl Trait` captures '_, you can add an explicit `'_` lifetime bound
+help: to declare that the `impl Trait` captures `'_`, you can add an explicit `'_` lifetime bound
    |
 LL |     fn iter_values_anon(&self) -> impl Iterator<Item=u32> + '_ {
    |                                                           ++++
@@ -32,7 +32,7 @@ LL |     fn iter_values<'a>(&'a self) -> impl Iterator<Item=u32> {
    |                    |
    |                    hidden type `Map<std::slice::Iter<'a, (u32, u32)>, [closure@$DIR/static-return-lifetime-infered.rs:14:27: 14:34]>` captures the lifetime `'a` as defined here
    |
-help: to declare that the `impl Trait` captures 'a, you can add an explicit `'a` lifetime bound
+help: to declare that the `impl Trait` captures `'a`, you can add an explicit `'a` lifetime bound
    |
 LL |     fn iter_values<'a>(&'a self) -> impl Iterator<Item=u32> + 'a {
    |                                                             ++++
@@ -45,7 +45,7 @@ LL |     fn iter_values<'a>(&'a self) -> impl Iterator<Item=u32> {
    |                    |
    |                    hidden type `Map<std::slice::Iter<'a, (u32, u32)>, [closure@$DIR/static-return-lifetime-infered.rs:14:27: 14:34]>` captures the lifetime `'a` as defined here
    |
-help: to declare that the `impl Trait` captures 'a, you can add an explicit `'a` lifetime bound
+help: to declare that the `impl Trait` captures `'a`, you can add an explicit `'a` lifetime bound
    |
 LL |     fn iter_values<'a>(&'a self) -> impl Iterator<Item=u32> + 'a {
    |                                                             ++++
diff --git a/src/test/ui/nll/ty-outlives/impl-trait-captures.stderr b/src/test/ui/nll/ty-outlives/impl-trait-captures.stderr
@@ -6,7 +6,7 @@ LL | fn foo<'a, T>(x: &T) -> impl Foo<'a> {
    |                  |
    |                  hidden type `&ReFree(DefId(0:8 ~ impl_trait_captures[HASH]::foo), BrAnon(0)) T` captures the anonymous lifetime defined here
    |
-help: to declare that the `impl Trait` captures ReFree(DefId(0:8 ~ impl_trait_captures[HASH]::foo), BrAnon(0)), you can add an explicit `ReFree(DefId(0:8 ~ impl_trait_captures[HASH]::foo), BrAnon(0))` lifetime bound
+help: to declare that the `impl Trait` captures `ReFree(DefId(0:8 ~ impl_trait_captures[HASH]::foo), BrAnon(0))`, you can add an explicit `ReFree(DefId(0:8 ~ impl_trait_captures[HASH]::foo), BrAnon(0))` lifetime bound
    |
 LL | fn foo<'a, T>(x: &T) -> impl Foo<'a> + ReFree(DefId(0:8 ~ impl_trait_captures[HASH]::foo), BrAnon(0)) {
    |                                      ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
diff --git a/src/test/ui/self/arbitrary_self_types_pin_lifetime_impl_trait-async.stderr b/src/test/ui/self/arbitrary_self_types_pin_lifetime_impl_trait-async.stderr
@@ -6,7 +6,7 @@ LL |     async fn f(self: Pin<&Self>) -> impl Clone { self }
    |                          |
    |                          hidden type `Pin<&Foo>` captures the lifetime `'_` as defined here
    |
-help: to declare that the `impl Trait` captures '_, you can add an explicit `'_` lifetime bound
+help: to declare that the `impl Trait` captures `'_`, you can add an explicit `'_` lifetime bound
    |
 LL |     async fn f(self: Pin<&Self>) -> impl Clone + '_ { self }
    |                                                ++++
diff --git a/src/test/ui/self/arbitrary_self_types_pin_lifetime_impl_trait.stderr b/src/test/ui/self/arbitrary_self_types_pin_lifetime_impl_trait.stderr
@@ -6,7 +6,7 @@ LL |     fn f(self: Pin<&Self>) -> impl Clone { self }
    |                    |
    |                    hidden type `Pin<&Foo>` captures the anonymous lifetime defined here
    |
-help: to declare that the `impl Trait` captures '_, you can add an explicit `'_` lifetime bound
+help: to declare that the `impl Trait` captures `'_`, you can add an explicit `'_` lifetime bound
    |
 LL |     fn f(self: Pin<&Self>) -> impl Clone + '_ { self }
    |                                          ++++

Original file line number	Diff line number	Diff line change
`@@ -275,7 +275,7 @@ pub fn unexpected_hidden_region_diagnostic(`
`275`	`275`	`fn_returns,`
`276`	`276`	`hidden_region.to_string(),`
`277`	`277`	`None,`
`278`		`- format!("captures {}", hidden_region),`
	`278`	+ format!("captures `{}`", hidden_region),
`279`	`279`	`None,`
`280`	`280`	`)`
`281`	`281`	`}`
Original file line number	Diff line number	Diff line change
`@@ -21,7 +21,7 @@ LL \| async fn async_ret_impl_trait1<'a, 'b>(a: &'a u8, b: &'b u8) -> impl Trait<`
`21`	`21`	`\| \|`
`22`	`22`	\| hidden type `(&'a u8, &'b u8)` captures the lifetime `'b` as defined here
`23`	`23`	`\|`
`24`		-help: to declare that the `impl Trait` captures 'b, you can add an explicit `'b` lifetime bound
	`24`	+help: to declare that the `impl Trait` captures `'b`, you can add an explicit `'b` lifetime bound
`25`	`25`	`\|`
`26`	`26`	`LL \| async fn async_ret_impl_trait1<'a, 'b>(a: &'a u8, b: &'b u8) -> impl Trait<'a> + 'b {`
`27`	`27`	`\| ++++`
Original file line number	Diff line number	Diff line change
`@@ -16,7 +16,7 @@ LL \| async fn async_ret_impl_trait1<'a, 'b>(a: &'a u8, b: &'b u8) -> impl Trait<`
`16`	`16`	`\| \|`
`17`	`17`	\| hidden type `(&'a u8, &'b u8)` captures the lifetime `'b` as defined here
`18`	`18`	`\|`
`19`		-help: to declare that the `impl Trait` captures 'b, you can add an explicit `'b` lifetime bound
	`19`	+help: to declare that the `impl Trait` captures `'b`, you can add an explicit `'b` lifetime bound
`20`	`20`	`\|`
`21`	`21`	`LL \| async fn async_ret_impl_trait1<'a, 'b>(a: &'a u8, b: &'b u8) -> impl Trait<'a> + 'b {`
`22`	`22`	`\| ++++`
Original file line number	Diff line number	Diff line change
`@@ -6,7 +6,7 @@ LL \| fn hide_ref<'a, 'b, T: 'static>(x: &'a mut &'b T) -> impl Swap + 'a {`
`6`	`6`	`\| \|`
`7`	`7`	\| hidden type `&'a mut &'b T` captures the lifetime `'b` as defined here
`8`	`8`	`\|`
`9`		-help: to declare that the `impl Trait` captures 'b, you can add an explicit `'b` lifetime bound
	`9`	+help: to declare that the `impl Trait` captures `'b`, you can add an explicit `'b` lifetime bound
`10`	`10`	`\|`
`11`	`11`	`LL \| fn hide_ref<'a, 'b, T: 'static>(x: &'a mut &'b T) -> impl Swap + 'a + 'b {`
`12`	`12`	`\| ++++`
`@@ -19,7 +19,7 @@ LL \| fn hide_rc_refcell<'a, 'b: 'a, T: 'static>(x: Rc<RefCell<&'b T>>) -> impl S`
`19`	`19`	`\| \|`
`20`	`20`	\| hidden type `Rc<RefCell<&'b T>>` captures the lifetime `'b` as defined here
`21`	`21`	`\|`
`22`		-help: to declare that the `impl Trait` captures 'b, you can add an explicit `'b` lifetime bound
	`22`	+help: to declare that the `impl Trait` captures `'b`, you can add an explicit `'b` lifetime bound
`23`	`23`	`\|`
`24`	`24`	`LL \| fn hide_rc_refcell<'a, 'b: 'a, T: 'static>(x: Rc<RefCell<&'b T>>) -> impl Swap + 'a + 'b {`
`25`	`25`	`\| ++++`
Original file line number	Diff line number	Diff line change
`@@ -6,7 +6,7 @@ LL \| fn upper_bounds<'a, 'b, 'c, 'd, 'e>(a: Ordinary<'a>, b: Ordinary<'b>) -> im`
`6`	`6`	`\| \|`
`7`	`7`	\| hidden type `Ordinary<'b>` captures the lifetime `'b` as defined here
`8`	`8`	`\|`
`9`		-help: to declare that the `impl Trait` captures 'b, you can add an explicit `'b` lifetime bound
	`9`	+help: to declare that the `impl Trait` captures `'b`, you can add an explicit `'b` lifetime bound
`10`	`10`	`\|`
`11`	`11`	`LL \| fn upper_bounds<'a, 'b, 'c, 'd, 'e>(a: Ordinary<'a>, b: Ordinary<'b>) -> impl Trait<'d, 'e> + 'b`
`12`	`12`	`\| ++++`
Original file line number	Diff line number	Diff line change
`@@ -6,7 +6,7 @@ LL \| fn elided(x: &i32) -> impl Copy { x }`
`6`	`6`	`\| \|`
`7`	`7`	\| hidden type `&i32` captures the anonymous lifetime defined here
`8`	`8`	`\|`
`9`		-help: to declare that the `impl Trait` captures '_, you can add an explicit `'_` lifetime bound
	`9`	+help: to declare that the `impl Trait` captures `'_`, you can add an explicit `'_` lifetime bound
`10`	`10`	`\|`
`11`	`11`	`LL \| fn elided(x: &i32) -> impl Copy + '_ { x }`
`12`	`12`	`\| ++++`
`@@ -19,7 +19,7 @@ LL \| fn explicit<'a>(x: &'a i32) -> impl Copy { x }`
`19`	`19`	`\| \|`
`20`	`20`	\| hidden type `&'a i32` captures the lifetime `'a` as defined here
`21`	`21`	`\|`
`22`		-help: to declare that the `impl Trait` captures 'a, you can add an explicit `'a` lifetime bound
	`22`	+help: to declare that the `impl Trait` captures `'a`, you can add an explicit `'a` lifetime bound
`23`	`23`	`\|`
`24`	`24`	`LL \| fn explicit<'a>(x: &'a i32) -> impl Copy + 'a { x }`
`25`	`25`	`\| ++++`
`@@ -74,7 +74,7 @@ LL \| fn move_lifetime_into_fn<'a, 'b>(x: &'a u32, y: &'b u32) -> impl Fn(&'a u32`
`74`	`74`	`\| \|`
`75`	`75`	\| hidden type `[closure@$DIR/must_outlive_least_region_or_bound.rs:35:5: 35:31]` captures the lifetime `'b` as defined here
`76`	`76`	`\|`
`77`		-help: to declare that the `impl Trait` captures 'b, you can add an explicit `'b` lifetime bound
	`77`	+help: to declare that the `impl Trait` captures `'b`, you can add an explicit `'b` lifetime bound
`78`	`78`	`\|`
`79`	`79`	`LL \| fn move_lifetime_into_fn<'a, 'b>(x: &'a u32, y: &'b u32) -> impl Fn(&'a u32) + 'b {`
`80`	`80`	`\| ++++`
Original file line number	Diff line number	Diff line change
`@@ -7,7 +7,7 @@ LL \|`
`7`	`7`	`LL \| where 'x: 'y`
`8`	`8`	\| -- hidden type `Cell<&'x u32>` captures the lifetime `'x` as defined here
`9`	`9`	`\|`
`10`		-help: to declare that the `impl Trait` captures 'x, you can add an explicit `'x` lifetime bound
	`10`	+help: to declare that the `impl Trait` captures `'x`, you can add an explicit `'x` lifetime bound
`11`	`11`	`\|`
`12`	`12`	`LL \| fn foo(x: Cell<&'x u32>) -> impl Trait<'y> + 'x`
`13`	`13`	`\| ++++`
Original file line number	Diff line number	Diff line change
`@@ -6,7 +6,7 @@ LL \| fn iter_values_anon(&self) -> impl Iterator<Item=u32> {`
`6`	`6`	`\| \|`
`7`	`7`	\| hidden type `Map<std::slice::Iter<'_, (u32, u32)>, [closure@$DIR/static-return-lifetime-infered.rs:9:27: 9:34]>` captures the anonymous lifetime defined here
`8`	`8`	`\|`
`9`		-help: to declare that the `impl Trait` captures '_, you can add an explicit `'_` lifetime bound
	`9`	+help: to declare that the `impl Trait` captures `'_`, you can add an explicit `'_` lifetime bound
`10`	`10`	`\|`
`11`	`11`	`LL \| fn iter_values_anon(&self) -> impl Iterator<Item=u32> + '_ {`
`12`	`12`	`\| ++++`
`@@ -19,7 +19,7 @@ LL \| fn iter_values_anon(&self) -> impl Iterator<Item=u32> {`
`19`	`19`	`\| \|`
`20`	`20`	\| hidden type `Map<std::slice::Iter<'_, (u32, u32)>, [closure@$DIR/static-return-lifetime-infered.rs:9:27: 9:34]>` captures the anonymous lifetime defined here
`21`	`21`	`\|`
`22`		-help: to declare that the `impl Trait` captures '_, you can add an explicit `'_` lifetime bound
	`22`	+help: to declare that the `impl Trait` captures `'_`, you can add an explicit `'_` lifetime bound
`23`	`23`	`\|`
`24`	`24`	`LL \| fn iter_values_anon(&self) -> impl Iterator<Item=u32> + '_ {`
`25`	`25`	`\| ++++`
`@@ -32,7 +32,7 @@ LL \| fn iter_values<'a>(&'a self) -> impl Iterator<Item=u32> {`
`32`	`32`	`\| \|`
`33`	`33`	\| hidden type `Map<std::slice::Iter<'a, (u32, u32)>, [closure@$DIR/static-return-lifetime-infered.rs:14:27: 14:34]>` captures the lifetime `'a` as defined here
`34`	`34`	`\|`
`35`		-help: to declare that the `impl Trait` captures 'a, you can add an explicit `'a` lifetime bound
	`35`	+help: to declare that the `impl Trait` captures `'a`, you can add an explicit `'a` lifetime bound
`36`	`36`	`\|`
`37`	`37`	`LL \| fn iter_values<'a>(&'a self) -> impl Iterator<Item=u32> + 'a {`
`38`	`38`	`\| ++++`
`@@ -45,7 +45,7 @@ LL \| fn iter_values<'a>(&'a self) -> impl Iterator<Item=u32> {`
`45`	`45`	`\| \|`
`46`	`46`	\| hidden type `Map<std::slice::Iter<'a, (u32, u32)>, [closure@$DIR/static-return-lifetime-infered.rs:14:27: 14:34]>` captures the lifetime `'a` as defined here
`47`	`47`	`\|`
`48`		-help: to declare that the `impl Trait` captures 'a, you can add an explicit `'a` lifetime bound
	`48`	+help: to declare that the `impl Trait` captures `'a`, you can add an explicit `'a` lifetime bound
`49`	`49`	`\|`
`50`	`50`	`LL \| fn iter_values<'a>(&'a self) -> impl Iterator<Item=u32> + 'a {`
`51`	`51`	`\| ++++`
Original file line number	Diff line number	Diff line change
`@@ -6,7 +6,7 @@ LL \| fn foo<'a, T>(x: &T) -> impl Foo<'a> {`
`6`	`6`	`\| \|`
`7`	`7`	\| hidden type `&ReFree(DefId(0:8 ~ impl_trait_captures[HASH]::foo), BrAnon(0)) T` captures the anonymous lifetime defined here
`8`	`8`	`\|`
`9`		-help: to declare that the `impl Trait` captures ReFree(DefId(0:8 ~ impl_trait_captures[HASH]::foo), BrAnon(0)), you can add an explicit `ReFree(DefId(0:8 ~ impl_trait_captures[HASH]::foo), BrAnon(0))` lifetime bound
	`9`	+help: to declare that the `impl Trait` captures `ReFree(DefId(0:8 ~ impl_trait_captures[HASH]::foo), BrAnon(0))`, you can add an explicit `ReFree(DefId(0:8 ~ impl_trait_captures[HASH]::foo), BrAnon(0))` lifetime bound
`10`	`10`	`\|`
`11`	`11`	`LL \| fn foo<'a, T>(x: &T) -> impl Foo<'a> + ReFree(DefId(0:8 ~ impl_trait_captures[HASH]::foo), BrAnon(0)) {`
`12`	`12`	`\| ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++`
Original file line number	Diff line number	Diff line change
`@@ -6,7 +6,7 @@ LL \| async fn f(self: Pin<&Self>) -> impl Clone { self }`
`6`	`6`	`\| \|`
`7`	`7`	\| hidden type `Pin<&Foo>` captures the lifetime `'_` as defined here
`8`	`8`	`\|`
`9`		-help: to declare that the `impl Trait` captures '_, you can add an explicit `'_` lifetime bound
	`9`	+help: to declare that the `impl Trait` captures `'_`, you can add an explicit `'_` lifetime bound
`10`	`10`	`\|`
`11`	`11`	`LL \| async fn f(self: Pin<&Self>) -> impl Clone + '_ { self }`
`12`	`12`	`\| ++++`