Skip to content

Commit 00fbfcc

Browse files
borsbors
committed
Auto merge of #46719 - estebank:issue-39268, r=pnkfelix
Point at var in short lived borrows instead of drop location For RLS' sake, point at the borrow location as primary span for short lived borrows, instead of the borrow drop location. Fix #39268.
2 parents b3392f8 + b562565 commit 00fbfcc

File tree

103 files changed

+585
-538
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

103 files changed

+585
-538
lines changed

‎src/librustc_borrowck/borrowck/mod.rs‎

Lines changed: 7 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -919,11 +919,9 @@ impl<'a, 'tcx> BorrowckCtxt<'a, 'tcx> {
919919
}
920920

921921
let mut db = self.path_does_not_live_long_enough(error_span, &msg, Origin::Ast);
922-
let (value_kind, value_msg) = match err.cmt.cat {
923-
mc::Categorization::Rvalue(..) =>
924-
("temporary value", "temporary value created here"),
925-
_ =>
926-
("borrowed value", "borrow occurs here")
922+
let value_kind = match err.cmt.cat {
923+
mc::Categorization::Rvalue(..) => "temporary value",
924+
_ => "borrowed value",
927925
};
928926

929927
let is_closure = match cause {
@@ -936,14 +934,16 @@ impl<'a, 'tcx> BorrowckCtxt<'a, 'tcx> {
936934
Some(primary) => {
937935
db.span = MultiSpan::from_span(s);
938936
db.span_label(primary, "capture occurs here");
939-
db.span_label(s, "does not live long enough");
937+
db.span_label(s, format!("{} does not live long enough",
938+
value_kind));
940939
true
941940
}
942941
None => false
943942
}
944943
}
945944
_ => {
946-
db.span_label(error_span, "does not live long enough");
945+
db.span_label(error_span, format!("{} does not live long enough",
946+
value_kind));
947947
false
948948
}
949949
};
@@ -954,8 +954,6 @@ impl<'a, 'tcx> BorrowckCtxt<'a, 'tcx> {
954954
match (sub_span, super_span) {
955955
(Some(s1), Some(s2)) if s1 == s2 => {
956956
if !is_closure {
957-
db.span = MultiSpan::from_span(s1);
958-
db.span_label(error_span, value_msg);
959957
let msg = match opt_loan_path(&err.cmt) {
960958
None => value_kind.to_string(),
961959
Some(lp) => {
@@ -971,8 +969,6 @@ impl<'a, 'tcx> BorrowckCtxt<'a, 'tcx> {
971969
they are created");
972970
}
973971
(Some(s1), Some(s2)) if !is_closure => {
974-
db.span = MultiSpan::from_span(s2);
975-
db.span_label(error_span, value_msg);
976972
let msg = match opt_loan_path(&err.cmt) {
977973
None => value_kind.to_string(),
978974
Some(lp) => {

‎src/librustc_mir/borrow_check/error_reporting.rs‎

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -391,10 +391,10 @@ impl<'cx, 'gcx, 'tcx> MirBorrowckCtxt<'cx, 'gcx, 'tcx> {
391391
&mut self, name: &String, _scope_tree: &Rc<ScopeTree>, _borrow: &BorrowData<'tcx>,
392392
drop_span: Span, borrow_span: Span, _proper_span: Span, end_span: Option<Span>
393393
) {
394-
let mut err = self.tcx.path_does_not_live_long_enough(drop_span,
394+
let mut err = self.tcx.path_does_not_live_long_enough(borrow_span,
395395
&format!("`{}`", name),
396396
Origin::Mir);
397-
err.span_label(borrow_span, "borrow occurs here");
397+
err.span_label(borrow_span, "borrowed value does not live long enough");
398398
err.span_label(drop_span, format!("`{}` dropped here while still borrowed", name));
399399
if let Some(end) = end_span {
400400
err.span_label(end, "borrowed value needs to live until here");
@@ -404,12 +404,12 @@ impl<'cx, 'gcx, 'tcx> MirBorrowckCtxt<'cx, 'gcx, 'tcx> {
404404

405405
fn report_scoped_temporary_value_does_not_live_long_enough(
406406
&mut self, _scope_tree: &Rc<ScopeTree>, _borrow: &BorrowData<'tcx>,
407-
drop_span: Span, borrow_span: Span, proper_span: Span, end_span: Option<Span>
407+
drop_span: Span, _borrow_span: Span, proper_span: Span, end_span: Option<Span>
408408
) {
409-
let mut err = self.tcx.path_does_not_live_long_enough(borrow_span,
409+
let mut err = self.tcx.path_does_not_live_long_enough(proper_span,
410410
"borrowed value",
411411
Origin::Mir);
412-
err.span_label(proper_span, "temporary value created here");
412+
err.span_label(proper_span, "temporary value does not live long enough");
413413
err.span_label(drop_span, "temporary value dropped here while still borrowed");
414414
err.note("consider using a `let` binding to increase its lifetime");
415415
if let Some(end) = end_span {
@@ -425,7 +425,7 @@ impl<'cx, 'gcx, 'tcx> MirBorrowckCtxt<'cx, 'gcx, 'tcx> {
425425
let mut err = self.tcx.path_does_not_live_long_enough(borrow_span,
426426
&format!("`{}`", name),
427427
Origin::Mir);
428-
err.span_label(borrow_span, "does not live long enough");
428+
err.span_label(borrow_span, "borrowed value does not live long enough");
429429
err.span_label(drop_span, "borrowed value only lives until here");
430430
self.tcx.note_and_explain_region(scope_tree, &mut err,
431431
"borrowed value must be valid for ",
@@ -440,7 +440,7 @@ impl<'cx, 'gcx, 'tcx> MirBorrowckCtxt<'cx, 'gcx, 'tcx> {
440440
let mut err = self.tcx.path_does_not_live_long_enough(proper_span,
441441
"borrowed value",
442442
Origin::Mir);
443-
err.span_label(proper_span, "does not live long enough");
443+
err.span_label(proper_span, "temporary value does not live long enough");
444444
err.span_label(drop_span, "temporary value only lives until here");
445445
self.tcx.note_and_explain_region(scope_tree, &mut err,
446446
"borrowed value must be valid for ",

‎src/test/compile-fail-fulldeps/dropck_tarena_cycle_checked.rs‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -124,4 +124,4 @@ fn f<'a>(arena: &'a TypedArena<C<'a>>) {
124124
fn main() {
125125
let arena = TypedArena::new();
126126
f(&arena);
127-
} //~ ERROR `arena` does not live long enough
127+
} //~^ ERROR `arena` does not live long enough

‎src/test/compile-fail-fulldeps/dropck_tarena_unsound_drop.rs‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -49,5 +49,5 @@ fn f<'a>(_arena: &'a TypedArena<C<'a>>) {}
4949
fn main() {
5050
let arena: TypedArena<C> = TypedArena::new();
5151
f(&arena);
52-
} //~ ERROR `arena` does not live long enough
52+
} //~^ ERROR `arena` does not live long enough
5353

‎src/test/compile-fail/E0597.rs‎

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -16,4 +16,5 @@ fn main() {
1616
let mut x = Foo { x: None };
1717
let y = 0;
1818
x.x = Some(&y);
19-
} //~ `y` does not live long enough [E0597]
19+
//~^ `y` does not live long enough [E0597]
20+
}

‎src/test/compile-fail/catch-bad-lifetime.rs‎

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -18,10 +18,11 @@ pub fn main() {
1818
let _result: Result<(), &str> = do catch {
1919
let my_string = String::from("");
2020
let my_str: & str = & my_string;
21+
//~^ ERROR `my_string` does not live long enough
2122
Err(my_str) ?;
2223
Err("") ?;
2324
Ok(())
24-
}; //~ ERROR `my_string` does not live long enough
25+
};
2526
}
2627

2728
{

‎src/test/compile-fail/issue-36082.rs‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -21,11 +21,11 @@ fn main() {
2121
let val: &_ = x.borrow().0;
2222
//[ast]~^ ERROR borrowed value does not live long enough [E0597]
2323
//[ast]~| NOTE temporary value dropped here while still borrowed
24-
//[ast]~| NOTE temporary value created here
24+
//[ast]~| NOTE temporary value does not live long enough
2525
//[ast]~| NOTE consider using a `let` binding to increase its lifetime
2626
//[mir]~^^^^^ ERROR borrowed value does not live long enough [E0597]
2727
//[mir]~| NOTE temporary value dropped here while still borrowed
28-
//[mir]~| NOTE temporary value created here
28+
//[mir]~| NOTE temporary value does not live long enough
2929
//[mir]~| NOTE consider using a `let` binding to increase its lifetime
3030
println!("{}", val);
3131
}

‎src/test/compile-fail/region-borrow-params-issue-29793-big.rs‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -81,9 +81,9 @@ fn main() {
8181
WrapB::new().set(|t: bool| if t { x } else { y }) // (separate errors for `x` vs `y`)
8282
//[ast]~^ ERROR `x` does not live long enough
8383
//[ast]~| ERROR `y` does not live long enough
84+
//[mir]~^^^ ERROR `x` does not live long enough
85+
//[mir]~| ERROR `y` does not live long enough
8486
});
85-
//[mir]~^ ERROR `x` does not live long enough
86-
//[mir]~| ERROR `y` does not live long enough
8787

8888
w.handle(); // This works
8989
// w.handle_ref(); // This doesn't

‎src/test/ui/dropck/dropck-eyepatch-extern-crate.rs‎

Lines changed: 5 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -37,22 +37,23 @@ fn main() {
3737
dr = Dr("dr", &c_long);
3838
// Error: destructor order imprecisely modelled
3939
dt = Dt("dt", &c);
40+
//~^ ERROR `c` does not live long enough
4041
dr = Dr("dr", &c);
42+
//~^ ERROR `c` does not live long enough
4143

4244
// No error: Drop impl asserts .1 (A and &'a _) are not accessed
4345
pt = Pt("pt", &c, &c_long);
4446
pr = Pr("pr", &c, &c_long);
4547

4648
// Error: Drop impl's assertion does not apply to `B` nor `&'b _`
4749
pt = Pt("pt", &c_long, &c);
50+
//~^ ERROR `c` does not live long enough
4851
pr = Pr("pr", &c_long, &c);
52+
//~^ ERROR `c` does not live long enough
4953

5054
// No error: St and Sr have no destructor.
5155
st = St("st", &c);
5256
sr = Sr("sr", &c);
5357

5458
println!("{:?}", (dt.0, dr.0, pt.0, pr.0, st.0, sr.0));
55-
}//~ ERROR `c` does not live long enough
56-
//~^ ERROR `c` does not live long enough
57-
//~| ERROR `c` does not live long enough
58-
//~| ERROR `c` does not live long enough
59+
}

‎src/test/ui/dropck/dropck-eyepatch-extern-crate.stderr‎

Lines changed: 19 additions & 19 deletions
Original file line numberDiff line numberDiff line change
@@ -1,44 +1,44 @@
11
error[E0597]: `c` does not live long enough
2-
--> $DIR/dropck-eyepatch-extern-crate.rs:55:1
2+
--> $DIR/dropck-eyepatch-extern-crate.rs:39:20
33
|
44
39 | dt = Dt("dt", &c);
5-
| - borrow occurs here
5+
| ^ borrowed value does not live long enough
66
...
7-
55 | }//~ ERROR `c` does not live long enough
8-
| ^ `c` dropped here while still borrowed
7+
59 | }
8+
| - `c` dropped here while still borrowed
99
|
1010
= note: values in a scope are dropped in the opposite order they are created
1111

1212
error[E0597]: `c` does not live long enough
13-
--> $DIR/dropck-eyepatch-extern-crate.rs:55:1
13+
--> $DIR/dropck-eyepatch-extern-crate.rs:41:20
1414
|
15-
40 | dr = Dr("dr", &c);
16-
| - borrow occurs here
15+
41 | dr = Dr("dr", &c);
16+
| ^ borrowed value does not live long enough
1717
...
18-
55 | }//~ ERROR `c` does not live long enough
19-
| ^ `c` dropped here while still borrowed
18+
59 | }
19+
| - `c` dropped here while still borrowed
2020
|
2121
= note: values in a scope are dropped in the opposite order they are created
2222

2323
error[E0597]: `c` does not live long enough
24-
--> $DIR/dropck-eyepatch-extern-crate.rs:55:1
24+
--> $DIR/dropck-eyepatch-extern-crate.rs:49:29
2525
|
26-
47 | pt = Pt("pt", &c_long, &c);
27-
| - borrow occurs here
26+
49 | pt = Pt("pt", &c_long, &c);
27+
| ^ borrowed value does not live long enough
2828
...
29-
55 | }//~ ERROR `c` does not live long enough
30-
| ^ `c` dropped here while still borrowed
29+
59 | }
30+
| - `c` dropped here while still borrowed
3131
|
3232
= note: values in a scope are dropped in the opposite order they are created
3333

3434
error[E0597]: `c` does not live long enough
35-
--> $DIR/dropck-eyepatch-extern-crate.rs:55:1
35+
--> $DIR/dropck-eyepatch-extern-crate.rs:51:29
3636
|
37-
48 | pr = Pr("pr", &c_long, &c);
38-
| - borrow occurs here
37+
51 | pr = Pr("pr", &c_long, &c);
38+
| ^ borrowed value does not live long enough
3939
...
40-
55 | }//~ ERROR `c` does not live long enough
41-
| ^ `c` dropped here while still borrowed
40+
59 | }
41+
| - `c` dropped here while still borrowed
4242
|
4343
= note: values in a scope are dropped in the opposite order they are created
4444

0 commit comments

Comments
 (0)