Skip to content

Commit

Permalink
#52413: addressed @estebank's Nit
Browse files Browse the repository at this point in the history
  • Loading branch information
PramodBisht committed Aug 6, 2018
1 parent 1940108 commit 49b0a1e
Show file tree
Hide file tree
Showing 39 changed files with 44 additions and 42 deletions.
Expand Up @@ -113,7 +113,7 @@ impl<'a, 'gcx, 'tcx> NiceRegionError<'a, 'gcx, 'tcx> {
error_var
).span_suggestion(
new_ty_span,
&format!("consider changing {} to ", span_label_var),
&format!("add explicit lifetime `{}` to {}", named, span_label_var),
new_ty.to_string()
)
.span_label(span, format!("lifetime `{}` required", named))
Expand Down
2 changes: 1 addition & 1 deletion src/test/ui/in-band-lifetimes/mismatched.nll.stderr
Expand Up @@ -16,7 +16,7 @@ error[E0621]: explicit lifetime required in the type of `y`
LL | fn foo(x: &'a u32, y: &u32) -> &'a u32 { y } //~ ERROR explicit lifetime required
| ---- ^ lifetime `'a` required
| |
| help: consider changing the type of `y` to : `&'a u32`
| help: add explicit lifetime `'a` to the type of `y`: `&'a u32`

error[E0623]: lifetime mismatch
--> $DIR/mismatched.rs:16:46
Expand Down
2 changes: 1 addition & 1 deletion src/test/ui/in-band-lifetimes/mismatched.stderr
Expand Up @@ -4,7 +4,7 @@ error[E0621]: explicit lifetime required in the type of `y`
LL | fn foo(x: &'a u32, y: &u32) -> &'a u32 { y } //~ ERROR explicit lifetime required
| ---- ^ lifetime `'a` required
| |
| help: consider changing the type of `y` to : `&'a u32`
| help: add explicit lifetime `'a` to the type of `y`: `&'a u32`

error[E0623]: lifetime mismatch
--> $DIR/mismatched.rs:16:46
Expand Down
2 changes: 1 addition & 1 deletion src/test/ui/in-band-lifetimes/mismatched_trait.nll.stderr
Expand Up @@ -8,7 +8,7 @@ error[E0621]: explicit lifetime required in the type of `y`
--> $DIR/mismatched_trait.rs:16:9
|
LL | fn baz(&self, x: &'a u32, y: &u32) -> &'a u32 {
| ---- help: consider changing the type of `y` to : `&'a u32`
| ---- help: add explicit lifetime `'a` to the type of `y`: `&'a u32`
LL | y //~ ERROR explicit lifetime required
| ^ lifetime `'a` required

Expand Down
2 changes: 1 addition & 1 deletion src/test/ui/in-band-lifetimes/mismatched_trait.stderr
Expand Up @@ -2,7 +2,7 @@ error[E0621]: explicit lifetime required in the type of `y`
--> $DIR/mismatched_trait.rs:16:9
|
LL | fn baz(&self, x: &'a u32, y: &u32) -> &'a u32 {
| ---- help: consider changing the type of `y` to : `&'a u32`
| ---- help: add explicit lifetime `'a` to the type of `y`: `&'a u32`
LL | y //~ ERROR explicit lifetime required
| ^ lifetime `'a` required

Expand Down
2 changes: 1 addition & 1 deletion src/test/ui/issue-13058.stderr
Expand Up @@ -2,7 +2,7 @@ error[E0621]: explicit lifetime required in the type of `cont`
--> $DIR/issue-13058.rs:24:26
|
LL | fn check<'r, I: Iterator<Item=usize>, T: Itble<'r, usize, I>>(cont: &T) -> bool
| -- help: consider changing the type of `cont` to : `&'r T`
| -- help: add explicit lifetime `'r` to the type of `cont`: `&'r T`
LL | {
LL | let cont_iter = cont.iter();
| ^^^^ lifetime `'r` required
Expand Down
2 changes: 1 addition & 1 deletion src/test/ui/issue-14285.nll.stderr
Expand Up @@ -8,7 +8,7 @@ error[E0621]: explicit lifetime required in the type of `a`
--> $DIR/issue-14285.rs:22:7
|
LL | fn foo<'a>(a: &Foo) -> B<'a> {
| ---- help: consider changing the type of `a` to : `&'a (dyn Foo + 'a)`
| ---- help: add explicit lifetime `'a` to the type of `a`: `&'a (dyn Foo + 'a)`
LL | B(a) //~ ERROR 22:5: 22:9: explicit lifetime required in the type of `a` [E0621]
| ^ lifetime `'a` required

Expand Down
2 changes: 1 addition & 1 deletion src/test/ui/issue-14285.stderr
Expand Up @@ -2,7 +2,7 @@ error[E0621]: explicit lifetime required in the type of `a`
--> $DIR/issue-14285.rs:22:5
|
LL | fn foo<'a>(a: &Foo) -> B<'a> {
| ---- help: consider changing the type of `a` to : `&'a (dyn Foo + 'a)`
| ---- help: add explicit lifetime `'a` to the type of `a`: `&'a (dyn Foo + 'a)`
LL | B(a) //~ ERROR 22:5: 22:9: explicit lifetime required in the type of `a` [E0621]
| ^^^^ lifetime `'a` required

Expand Down
2 changes: 1 addition & 1 deletion src/test/ui/issue-15034.nll.stderr
Expand Up @@ -8,7 +8,7 @@ error[E0621]: explicit lifetime required in the type of `lexer`
--> $DIR/issue-15034.rs:27:25
|
LL | pub fn new(lexer: &'a mut Lexer) -> Parser<'a> {
| ------------- help: consider changing the type of `lexer` to : `&'a mut Lexer<'a>`
| ------------- help: add explicit lifetime `'a` to the type of `lexer`: `&'a mut Lexer<'a>`
LL | Parser { lexer: lexer }
| ^^^^^ lifetime `'a` required

Expand Down
2 changes: 1 addition & 1 deletion src/test/ui/issue-15034.stderr
Expand Up @@ -2,7 +2,7 @@ error[E0621]: explicit lifetime required in the type of `lexer`
--> $DIR/issue-15034.rs:27:25
|
LL | pub fn new(lexer: &'a mut Lexer) -> Parser<'a> {
| ------------- help: consider changing the type of `lexer` to : `&'a mut Lexer<'a>`
| ------------- help: add explicit lifetime `'a` to the type of `lexer`: `&'a mut Lexer<'a>`
LL | Parser { lexer: lexer }
| ^^^^^ lifetime `'a` required

Expand Down
2 changes: 1 addition & 1 deletion src/test/ui/issue-16922.nll.stderr
Expand Up @@ -8,7 +8,7 @@ error[E0621]: explicit lifetime required in the type of `value`
--> $DIR/issue-16922.rs:14:5
|
LL | fn foo<T: Any>(value: &T) -> Box<Any> {
| -- help: consider changing the type of `value` to : `&'static T`
| -- help: add explicit lifetime `'static` to the type of `value`: `&'static T`
LL | Box::new(value) as Box<Any>
| ^^^^^^^^^^^^^^^ lifetime `'static` required

Expand Down
2 changes: 1 addition & 1 deletion src/test/ui/issue-16922.stderr
Expand Up @@ -2,7 +2,7 @@ error[E0621]: explicit lifetime required in the type of `value`
--> $DIR/issue-16922.rs:14:5
|
LL | fn foo<T: Any>(value: &T) -> Box<Any> {
| -- help: consider changing the type of `value` to : `&'static T`
| -- help: add explicit lifetime `'static` to the type of `value`: `&'static T`
LL | Box::new(value) as Box<Any>
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^ lifetime `'static` required

Expand Down
2 changes: 1 addition & 1 deletion src/test/ui/issue-3154.nll.stderr
Expand Up @@ -14,7 +14,7 @@ error[E0621]: explicit lifetime required in the type of `x`
--> $DIR/issue-3154.rs:16:15
|
LL | fn thing<'a,Q>(x: &Q) -> thing<'a,Q> {
| -- help: consider changing the type of `x` to : `&'a Q`
| -- help: add explicit lifetime `'a` to the type of `x`: `&'a Q`
LL | thing{ x: x } //~ ERROR 16:5: 16:18: explicit lifetime required in the type of `x` [E0621]
| ^ lifetime `'a` required

Expand Down
2 changes: 1 addition & 1 deletion src/test/ui/issue-3154.stderr
Expand Up @@ -2,7 +2,7 @@ error[E0621]: explicit lifetime required in the type of `x`
--> $DIR/issue-3154.rs:16:5
|
LL | fn thing<'a,Q>(x: &Q) -> thing<'a,Q> {
| -- help: consider changing the type of `x` to : `&'a Q`
| -- help: add explicit lifetime `'a` to the type of `x`: `&'a Q`
LL | thing{ x: x } //~ ERROR 16:5: 16:18: explicit lifetime required in the type of `x` [E0621]
| ^^^^^^^^^^^^^ lifetime `'a` required

Expand Down
4 changes: 2 additions & 2 deletions src/test/ui/issue-40288-2.nll.stderr
Expand Up @@ -38,7 +38,7 @@ error[E0621]: explicit lifetime required in the type of `y`
--> $DIR/issue-40288-2.rs:17:9
|
LL | fn lifetime_transmute_slice<'a, T: ?Sized>(x: &'a T, y: &T) -> &'a T {
| -- help: consider changing the type of `y` to : `&'a T`
| -- help: add explicit lifetime `'a` to the type of `y`: `&'a T`
...
LL | slice[0] = y;
| ^^^^^^^^^^^^ lifetime `'a` required
Expand All @@ -47,7 +47,7 @@ error[E0621]: explicit lifetime required in the type of `y`
--> $DIR/issue-40288-2.rs:32:9
|
LL | fn lifetime_transmute_struct<'a, T: ?Sized>(x: &'a T, y: &T) -> &'a T {
| -- help: consider changing the type of `y` to : `&'a T`
| -- help: add explicit lifetime `'a` to the type of `y`: `&'a T`
...
LL | dst.head = y;
| ^^^^^^^^^^^^ lifetime `'a` required
Expand Down
4 changes: 2 additions & 2 deletions src/test/ui/issue-40288-2.stderr
Expand Up @@ -2,7 +2,7 @@ error[E0621]: explicit lifetime required in the type of `y`
--> $DIR/issue-40288-2.rs:19:5
|
LL | fn lifetime_transmute_slice<'a, T: ?Sized>(x: &'a T, y: &T) -> &'a T {
| -- help: consider changing the type of `y` to : `&'a T`
| -- help: add explicit lifetime `'a` to the type of `y`: `&'a T`
...
LL | out[0]
| ^^^^^^ lifetime `'a` required
Expand All @@ -11,7 +11,7 @@ error[E0621]: explicit lifetime required in the type of `y`
--> $DIR/issue-40288-2.rs:34:5
|
LL | fn lifetime_transmute_struct<'a, T: ?Sized>(x: &'a T, y: &T) -> &'a T {
| -- help: consider changing the type of `y` to : `&'a T`
| -- help: add explicit lifetime `'a` to the type of `y`: `&'a T`
...
LL | out.head
| ^^^^^^^^ lifetime `'a` required
Expand Down
2 changes: 1 addition & 1 deletion src/test/ui/issue-46983.stderr
Expand Up @@ -2,7 +2,7 @@ error[E0621]: explicit lifetime required in the type of `x`
--> $DIR/issue-46983.rs:14:5
|
LL | fn foo(x: &u32) -> &'static u32 {
| ---- help: consider changing the type of `x` to : `&'static u32`
| ---- help: add explicit lifetime `'static` to the type of `x`: `&'static u32`
LL | &*x
| ^^^ lifetime `'static` required

Expand Down
Expand Up @@ -8,7 +8,7 @@ error[E0621]: explicit lifetime required in the type of `x`
--> $DIR/42701_one_named_and_one_anonymous.rs:16:5
|
LL | fn foo2<'a>(a: &'a Foo, x: &i32) -> &'a i32 {
| ---- help: consider changing the type of `x` to : `&'a i32`
| ---- help: add explicit lifetime `'a` to the type of `x`: `&'a i32`
LL | / if true {
LL | | let p: &i32 = &a.field;
LL | | &*p
Expand Down
Expand Up @@ -2,7 +2,7 @@ error[E0621]: explicit lifetime required in the type of `x`
--> $DIR/42701_one_named_and_one_anonymous.rs:20:9
|
LL | fn foo2<'a>(a: &'a Foo, x: &i32) -> &'a i32 {
| ---- help: consider changing the type of `x` to : `&'a i32`
| ---- help: add explicit lifetime `'a` to the type of `x`: `&'a i32`
...
LL | &*x //~ ERROR explicit lifetime
| ^^^ lifetime `'a` required
Expand Down
Expand Up @@ -8,7 +8,7 @@ error[E0621]: explicit lifetime required in the type of `other`
--> $DIR/ex1-return-one-existing-name-early-bound-in-struct.rs:18:15
|
LL | fn bar(&self, other: Foo) -> Foo<'a> {
| --- help: consider changing the type of `other` to : `Foo<'a>`
| --- help: add explicit lifetime `'a` to the type of `other`: `Foo<'a>`
LL | match *self {
| ^^^^^ lifetime `'a` required

Expand Down
Expand Up @@ -2,7 +2,7 @@ error[E0621]: explicit lifetime required in the type of `other`
--> $DIR/ex1-return-one-existing-name-early-bound-in-struct.rs:21:21
|
LL | fn bar(&self, other: Foo) -> Foo<'a> {
| --- help: consider changing the type of `other` to : `Foo<'a>`
| --- help: add explicit lifetime `'a` to the type of `other`: `Foo<'a>`
...
LL | other //~ ERROR explicit lifetime
| ^^^^^ lifetime `'a` required
Expand Down
Expand Up @@ -8,7 +8,7 @@ error[E0621]: explicit lifetime required in the type of `x`
--> $DIR/ex1-return-one-existing-name-if-else-2.rs:12:8
|
LL | fn foo<'a>(x: &i32, y: &'a i32) -> &'a i32 {
| ---- help: consider changing the type of `x` to : `&'a i32`
| ---- help: add explicit lifetime `'a` to the type of `x`: `&'a i32`
LL | if x > y { x } else { y } //~ ERROR explicit lifetime
| ^^^^^ lifetime `'a` required

Expand Down
Expand Up @@ -2,7 +2,7 @@ error[E0621]: explicit lifetime required in the type of `x`
--> $DIR/ex1-return-one-existing-name-if-else-2.rs:12:16
|
LL | fn foo<'a>(x: &i32, y: &'a i32) -> &'a i32 {
| ---- help: consider changing the type of `x` to : `&'a i32`
| ---- help: add explicit lifetime `'a` to the type of `x`: `&'a i32`
LL | if x > y { x } else { y } //~ ERROR explicit lifetime
| ^ lifetime `'a` required

Expand Down
Expand Up @@ -8,7 +8,7 @@ error[E0621]: explicit lifetime required in parameter type
--> $DIR/ex1-return-one-existing-name-if-else-3.rs:11:16
|
LL | fn foo<'a>((x, y): (&'a i32, &i32)) -> &'a i32 {
| ^ --------------- help: consider changing type to : `(&'a i32, &'a i32)`
| ^ --------------- help: add explicit lifetime `'a` to type: `(&'a i32, &'a i32)`
| |
| lifetime `'a` required

Expand Down
Expand Up @@ -2,7 +2,7 @@ error[E0621]: explicit lifetime required in parameter type
--> $DIR/ex1-return-one-existing-name-if-else-3.rs:12:27
|
LL | fn foo<'a>((x, y): (&'a i32, &i32)) -> &'a i32 {
| --------------- help: consider changing type to : `(&'a i32, &'a i32)`
| --------------- help: add explicit lifetime `'a` to type: `(&'a i32, &'a i32)`
LL | if x > y { x } else { y } //~ ERROR explicit lifetime
| ^ lifetime `'a` required

Expand Down
Expand Up @@ -8,7 +8,7 @@ error[E0621]: explicit lifetime required in the type of `x`
--> $DIR/ex1-return-one-existing-name-if-else-using-impl-2.rs:14:7
|
LL | fn foo<'a>(x: &i32, y: &'a i32) -> &'a i32 {
| ---- help: consider changing the type of `x` to : `&'a i32`
| ---- help: add explicit lifetime `'a` to the type of `x`: `&'a i32`
LL | if x > y { x } else { y } //~ ERROR explicit lifetime
| ^^^^^ lifetime `'a` required

Expand Down
Expand Up @@ -2,7 +2,7 @@ error[E0621]: explicit lifetime required in the type of `x`
--> $DIR/ex1-return-one-existing-name-if-else-using-impl-2.rs:14:15
|
LL | fn foo<'a>(x: &i32, y: &'a i32) -> &'a i32 {
| ---- help: consider changing the type of `x` to : `&'a i32`
| ---- help: add explicit lifetime `'a` to the type of `x`: `&'a i32`
LL | if x > y { x } else { y } //~ ERROR explicit lifetime
| ^ lifetime `'a` required

Expand Down
Expand Up @@ -8,7 +8,7 @@ error[E0621]: explicit lifetime required in the type of `x`
--> $DIR/ex1-return-one-existing-name-if-else-using-impl-3.rs:18:5
|
LL | fn foo<'a>(&'a self, x: &i32) -> &i32 {
| ---- help: consider changing the type of `x` to : `&'a i32`
| ---- help: add explicit lifetime `'a` to the type of `x`: `&'a i32`
LL |
LL | if true { &self.field } else { x } //~ ERROR explicit lifetime
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ lifetime `'a` required
Expand Down
Expand Up @@ -2,7 +2,7 @@ error[E0621]: explicit lifetime required in the type of `x`
--> $DIR/ex1-return-one-existing-name-if-else-using-impl-3.rs:18:36
|
LL | fn foo<'a>(&'a self, x: &i32) -> &i32 {
| ---- help: consider changing the type of `x` to : `&'a i32`
| ---- help: add explicit lifetime `'a` to the type of `x`: `&'a i32`
LL |
LL | if true { &self.field } else { x } //~ ERROR explicit lifetime
| ^ lifetime `'a` required
Expand Down
Expand Up @@ -8,7 +8,7 @@ error[E0621]: explicit lifetime required in the type of `y`
--> $DIR/ex1-return-one-existing-name-if-else.rs:12:8
|
LL | fn foo<'a>(x: &'a i32, y: &i32) -> &'a i32 {
| ---- help: consider changing the type of `y` to : `&'a i32`
| ---- help: add explicit lifetime `'a` to the type of `y`: `&'a i32`
LL | if x > y { x } else { y } //~ ERROR explicit lifetime
| ^^^^^ lifetime `'a` required

Expand Down
Expand Up @@ -2,7 +2,7 @@ error[E0621]: explicit lifetime required in the type of `y`
--> $DIR/ex1-return-one-existing-name-if-else.rs:12:27
|
LL | fn foo<'a>(x: &'a i32, y: &i32) -> &'a i32 {
| ---- help: consider changing the type of `y` to : `&'a i32`
| ---- help: add explicit lifetime `'a` to the type of `y`: `&'a i32`
LL | if x > y { x } else { y } //~ ERROR explicit lifetime
| ^ lifetime `'a` required

Expand Down
Expand Up @@ -8,7 +8,7 @@ error[E0621]: explicit lifetime required in the type of `x`
--> $DIR/ex2a-push-one-existing-name-2.rs:16:5
|
LL | fn foo<'a>(x: Ref<i32>, y: &mut Vec<Ref<'a, i32>>) {
| -------- help: consider changing the type of `x` to : `Ref<'a, i32>`
| -------- help: add explicit lifetime `'a` to the type of `x`: `Ref<'a, i32>`
LL | y.push(x); //~ ERROR explicit lifetime
| ^^^^^^^^^ lifetime `'a` required

Expand Down
Expand Up @@ -2,7 +2,7 @@ error[E0621]: explicit lifetime required in the type of `x`
--> $DIR/ex2a-push-one-existing-name-2.rs:16:12
|
LL | fn foo<'a>(x: Ref<i32>, y: &mut Vec<Ref<'a, i32>>) {
| -------- help: consider changing the type of `x` to : `Ref<'a, i32>`
| -------- help: add explicit lifetime `'a` to the type of `x`: `Ref<'a, i32>`
LL | y.push(x); //~ ERROR explicit lifetime
| ^ lifetime `'a` required

Expand Down
Expand Up @@ -2,7 +2,7 @@ error[E0621]: explicit lifetime required in the type of `y`
--> $DIR/ex2a-push-one-existing-name-early-bound.rs:17:12
|
LL | fn baz<'a, 'b, T>(x: &mut Vec<&'a T>, y: &T)
| -- help: consider changing the type of `y` to : `&'a T`
| -- help: add explicit lifetime `'a` to the type of `y`: `&'a T`
...
LL | x.push(y); //~ ERROR explicit lifetime required
| ^ lifetime `'a` required
Expand Down
Expand Up @@ -8,7 +8,7 @@ error[E0621]: explicit lifetime required in the type of `y`
--> $DIR/ex2a-push-one-existing-name.rs:16:5
|
LL | fn foo<'a>(x: &mut Vec<Ref<'a, i32>>, y: Ref<i32>) {
| -------- help: consider changing the type of `y` to : `Ref<'a, i32>`
| -------- help: add explicit lifetime `'a` to the type of `y`: `Ref<'a, i32>`
LL | x.push(y); //~ ERROR explicit lifetime
| ^^^^^^^^^ lifetime `'a` required

Expand Down
Expand Up @@ -2,7 +2,7 @@ error[E0621]: explicit lifetime required in the type of `y`
--> $DIR/ex2a-push-one-existing-name.rs:16:12
|
LL | fn foo<'a>(x: &mut Vec<Ref<'a, i32>>, y: Ref<i32>) {
| -------- help: consider changing the type of `y` to : `Ref<'a, i32>`
| -------- help: add explicit lifetime `'a` to the type of `y`: `Ref<'a, i32>`
LL | x.push(y); //~ ERROR explicit lifetime
| ^ lifetime `'a` required

Expand Down
Expand Up @@ -8,7 +8,7 @@ error[E0621]: explicit lifetime required in the type of `x`
--> $DIR/region-lbr-anon-does-not-outlive-static.rs:19:5
|
LL | fn foo(x: &u32) -> &'static u32 {
| ---- help: consider changing the type of `x` to : `&ReStatic u32`
| ---- help: add explicit lifetime `ReStatic` to the type of `x`: `&ReStatic u32`
LL | &*x
| ^^^ lifetime `ReStatic` required

Expand Down
2 changes: 1 addition & 1 deletion src/test/ui/nll/guarantor-issue-46974.stderr
Expand Up @@ -13,7 +13,7 @@ error[E0621]: explicit lifetime required in the type of `s`
--> $DIR/guarantor-issue-46974.rs:25:5
|
LL | fn bar(s: &Box<(i32,)>) -> &'static i32 {
| ------------ help: consider changing the type of `s` to : `&'static std::boxed::Box<(i32,)>`
| ------------ help: add explicit lifetime `'static` to the type of `s`: `&'static std::boxed::Box<(i32,)>`
LL | // FIXME(#46983): error message should be better
LL | &s.0 //~ ERROR explicit lifetime required in the type of `s` [E0621]
| ^^^^ lifetime `'static` required
Expand Down
6 changes: 4 additions & 2 deletions src/test/ui/nll/ty-outlives/impl-trait-captures.stderr
Expand Up @@ -7,10 +7,12 @@ LL | x
error[E0621]: explicit lifetime required in the type of `x`
--> $DIR/impl-trait-captures.rs:21:5
|
LL | fn foo<'a, T>(x: &T) -> impl Foo<'a> {
| -- help: consider changing the type of `x` to : `&ReEarlyBound(0, 'a) T`
LL | x
| ^ lifetime `ReEarlyBound(0, 'a)` required
help: add explicit lifetime `ReEarlyBound(0, 'a)` to the type of `x`
|
LL | fn foo<'a, T>(x: &ReEarlyBound(0, 'a) T) -> impl Foo<'a> {
| ^^^^^^^^^^^^^^^^^^^^^^

error: aborting due to previous error

Expand Down

0 comments on commit 49b0a1e

Please sign in to comment.