user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fixed off-by-one span.

Browse source 
Fixes the off-by-one span issue where closure argument spans were
pointing to the token after the argument.
This commit is contained in:
David Wood 2018-09-17 19:39:37 +02:00
parent 97bbcabef1
commit 3becbbc129
No known key found for this signature in database
GPG key ID: 01760B4F9F53F154
4 changed files with 9 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/libsyntax/parse/parser.rs
View file

@ -1848,7 +1848,7 @@ impl<'a> Parser<'a> {
P(Ty {
id: ast::DUMMY_NODE_ID,
node: TyKind::Infer,
span: self.span,
span: self.prev_span,
})
};
Ok(Arg {

12
src/test/ui/nll/issue-52534.stderr
View file

@ -2,9 +2,9 @@ error[E0597]: `x` does not live long enough
--> $DIR/issue-52534.rs:22:14
|
LL | foo(|a| &x)
| - ^ `x` would have to be valid for `'0`
| |
| has type `&'0 u32`
| - ^ `x` would have to be valid for `'0`
| |
| has type `&'0 u32`
LL | }
| - ...but `x` is only valid for the duration of the `bar` function, so it is dropped here while still borrowed
@ -12,9 +12,9 @@ error[E0597]: `y` does not live long enough
--> $DIR/issue-52534.rs:27:26
|
LL | baz(|first, second| &y)
| - ^ `y` would have to be valid for `'0`
| |
| has type `&'0 u32`
| ----- ^ `y` would have to be valid for `'0`
| |
| has type `&'0 u32`
LL | }
| - ...but `y` is only valid for the duration of the `foobar` function, so it is dropped here while still borrowed

2
src/test/ui/regions/regions-nested-fns-2.nll.stderr
View file

@ -2,7 +2,7 @@ error[E0597]: `y` does not live long enough
--> $DIR/regions-nested-fns-2.rs:18:25
|
LL | |z| {
| - has type `&'0 isize`
| - has type `&'0 isize`
LL | //~^ ERROR E0373
LL | if false { &y } else { z }
| ^ `y` would have to be valid for `'0`

2
src/test/ui/regions/regions-nested-fns.nll.stderr
View file

@ -25,7 +25,7 @@ error[E0597]: `y` does not live long enough
--> $DIR/regions-nested-fns.rs:19:15
|
LL | ignore::<Box<for<'z> FnMut(&'z isize)>>(Box::new(|z| {
| - has type `&'0 isize`
| - has type `&'0 isize`
LL | ay = x;
LL | ay = &y;
| ^ `y` would have to be valid for `'0`