Skip to content
This repository was archived by the owner on May 28, 2025. It is now read-only.

Commit 20b5aaf

Browse files
estebankestebank
committed
Provide structured suggestion for dropped temp value
1 parent 0fe5390 commit 20b5aaf

20 files changed

+205
-35
lines changed

‎compiler/rustc_borrowck/src/diagnostics/conflict_errors.rs‎

Lines changed: 32 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1500,7 +1500,38 @@ impl<'cx, 'tcx> MirBorrowckCtxt<'cx, 'tcx> {
15001500
| BorrowExplanation::UsedLaterInLoop(..)
15011501
| BorrowExplanation::UsedLaterWhenDropped { .. } => {
15021502
// Only give this note and suggestion if it could be relevant.
1503-
err.note("consider using a `let` binding to create a longer lived value");
1503+
let sm = self.infcx.tcx.sess.source_map();
1504+
let mut suggested = false;
1505+
let msg = "consider using a `let` binding to create a longer lived value";
1506+
if let Some(scope) =
1507+
self.body.source_scopes.get(self.body.source_info(location).scope)
1508+
&& let ClearCrossCrate::Set(scope_data) = &scope.local_data
1509+
&& let Some(node) = self.infcx.tcx.hir().find(scope_data.lint_root)
1510+
&& let Some(id) = node.body_id()
1511+
&& let hir::ExprKind::Block(block, _) = self.infcx.tcx.hir().body(id).value.kind
1512+
{
1513+
for stmt in block.stmts {
1514+
if stmt.span.contains(proper_span)
1515+
&& let Some(p) = sm.span_to_margin(stmt.span)
1516+
&& let Ok(s) = sm.span_to_snippet(proper_span)
1517+
{
1518+
let addition = format!("let binding = {};\n{}", s, " ".repeat(p));
1519+
err.multipart_suggestion_verbose(
1520+
msg,
1521+
vec![
1522+
(stmt.span.shrink_to_lo(), addition),
1523+
(proper_span, "binding".to_string()),
1524+
],
1525+
Applicability::MaybeIncorrect,
1526+
);
1527+
suggested = true;
1528+
break;
1529+
}
1530+
}
1531+
}
1532+
if !suggested {
1533+
err.note(msg);
1534+
}
15041535
}
15051536
_ => {}
15061537
}

‎src/test/ui/borrowck/borrowck-borrowed-uniq-rvalue.fixed‎

Lines changed: 14 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,14 @@
1+
// run-rustfix
2+
3+
use std::collections::HashMap;
4+
5+
fn main() {
6+
let tmp: Box<_>;
7+
let mut buggy_map: HashMap<usize, &usize> = HashMap::new();
8+
let binding = Box::new(1);
9+
buggy_map.insert(42, &*binding); //~ ERROR temporary value dropped while borrowed
10+
11+
// but it is ok if we use a temporary
12+
tmp = Box::new(2);
13+
buggy_map.insert(43, &*tmp);
14+
}

‎src/test/ui/borrowck/borrowck-borrowed-uniq-rvalue.rs‎

Lines changed: 2 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,8 +1,6 @@
1-
use std::collections::HashMap;
2-
3-
4-
1+
// run-rustfix
52

3+
use std::collections::HashMap;
64

75
fn main() {
86
let tmp: Box<_>;

‎src/test/ui/borrowck/borrowck-borrowed-uniq-rvalue.stderr‎

Lines changed: 6 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
error[E0716]: temporary value dropped while borrowed
2-
--> $DIR/borrowck-borrowed-uniq-rvalue.rs:10:28
2+
--> $DIR/borrowck-borrowed-uniq-rvalue.rs:8:28
33
|
44
LL | buggy_map.insert(42, &*Box::new(1));
55
| ^^^^^^^^^^^ - temporary value is freed at the end of this statement
@@ -9,7 +9,11 @@ LL | buggy_map.insert(42, &*Box::new(1));
99
LL | buggy_map.insert(43, &*tmp);
1010
| --------------------------- borrow later used here
1111
|
12-
= note: consider using a `let` binding to create a longer lived value
12+
help: consider using a `let` binding to create a longer lived value
13+
|
14+
LL ~ let binding = Box::new(1);
15+
LL ~ buggy_map.insert(42, &*binding);
16+
|
1317

1418
error: aborting due to previous error
1519

‎src/test/ui/cleanup-rvalue-scopes-cf.stderr‎

Lines changed: 35 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,11 @@ LL | let x1 = arg(&AddFlags(1));
99
LL | (x1, x2, x3, x4, x5, x6, x7);
1010
| -- borrow later used here
1111
|
12-
= note: consider using a `let` binding to create a longer lived value
12+
help: consider using a `let` binding to create a longer lived value
13+
|
14+
LL ~ let binding = AddFlags(1);
15+
LL ~ let x1 = arg(&binding);
16+
|
1317

1418
error[E0716]: temporary value dropped while borrowed
1519
--> $DIR/cleanup-rvalue-scopes-cf.rs:27:14
@@ -22,7 +26,11 @@ LL | let x2 = AddFlags(1).get();
2226
LL | (x1, x2, x3, x4, x5, x6, x7);
2327
| -- borrow later used here
2428
|
25-
= note: consider using a `let` binding to create a longer lived value
29+
help: consider using a `let` binding to create a longer lived value
30+
|
31+
LL ~ let binding = AddFlags(1);
32+
LL ~ let x2 = binding.get();
33+
|
2634

2735
error[E0716]: temporary value dropped while borrowed
2836
--> $DIR/cleanup-rvalue-scopes-cf.rs:28:21
@@ -35,7 +43,11 @@ LL | let x3 = &*arg(&AddFlags(1));
3543
LL | (x1, x2, x3, x4, x5, x6, x7);
3644
| -- borrow later used here
3745
|
38-
= note: consider using a `let` binding to create a longer lived value
46+
help: consider using a `let` binding to create a longer lived value
47+
|
48+
LL ~ let binding = AddFlags(1);
49+
LL ~ let x3 = &*arg(&binding);
50+
|
3951

4052
error[E0716]: temporary value dropped while borrowed
4153
--> $DIR/cleanup-rvalue-scopes-cf.rs:29:24
@@ -48,7 +60,11 @@ LL | let ref x4 = *arg(&AddFlags(1));
4860
LL | (x1, x2, x3, x4, x5, x6, x7);
4961
| -- borrow later used here
5062
|
51-
= note: consider using a `let` binding to create a longer lived value
63+
help: consider using a `let` binding to create a longer lived value
64+
|
65+
LL ~ let binding = AddFlags(1);
66+
LL ~ let ref x4 = *arg(&binding);
67+
|
5268

5369
error[E0716]: temporary value dropped while borrowed
5470
--> $DIR/cleanup-rvalue-scopes-cf.rs:30:24
@@ -61,7 +77,11 @@ LL | let &ref x5 = arg(&AddFlags(1));
6177
LL | (x1, x2, x3, x4, x5, x6, x7);
6278
| -- borrow later used here
6379
|
64-
= note: consider using a `let` binding to create a longer lived value
80+
help: consider using a `let` binding to create a longer lived value
81+
|
82+
LL ~ let binding = AddFlags(1);
83+
LL ~ let &ref x5 = arg(&binding);
84+
|
6585

6686
error[E0716]: temporary value dropped while borrowed
6787
--> $DIR/cleanup-rvalue-scopes-cf.rs:31:14
@@ -74,7 +94,11 @@ LL | let x6 = AddFlags(1).get();
7494
LL | (x1, x2, x3, x4, x5, x6, x7);
7595
| -- borrow later used here
7696
|
77-
= note: consider using a `let` binding to create a longer lived value
97+
help: consider using a `let` binding to create a longer lived value
98+
|
99+
LL ~ let binding = AddFlags(1);
100+
LL ~ let x6 = binding.get();
101+
|
78102

79103
error[E0716]: temporary value dropped while borrowed
80104
--> $DIR/cleanup-rvalue-scopes-cf.rs:32:44
@@ -87,7 +111,11 @@ LL |
87111
LL | (x1, x2, x3, x4, x5, x6, x7);
88112
| -- borrow later used here
89113
|
90-
= note: consider using a `let` binding to create a longer lived value
114+
help: consider using a `let` binding to create a longer lived value
115+
|
116+
LL ~ let binding = AddFlags(1);
117+
LL ~ let StackBox { f: x7 } = StackBox { f: binding.get() };
118+
|
91119

92120
error: aborting due to 7 previous errors
93121

‎src/test/ui/issues/issue-11493.fixed‎

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,9 @@
1+
// run-rustfix
2+
fn id<T>(x: T) -> T { x }
3+
4+
fn main() {
5+
let x = Some(3);
6+
let binding = id(5);
7+
let y = x.as_ref().unwrap_or(&binding); //~ ERROR
8+
let _ = &y;
9+
}

‎src/test/ui/issues/issue-11493.rs‎

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,8 @@
1+
// run-rustfix
12
fn id<T>(x: T) -> T { x }
23

34
fn main() {
45
let x = Some(3);
56
let y = x.as_ref().unwrap_or(&id(5)); //~ ERROR
6-
&y;
7+
let _ = &y;
78
}

‎src/test/ui/issues/issue-11493.stderr‎

Lines changed: 8 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,14 +1,18 @@
11
error[E0716]: temporary value dropped while borrowed
2-
--> $DIR/issue-11493.rs:5:35
2+
--> $DIR/issue-11493.rs:6:35
33
|
44
LL | let y = x.as_ref().unwrap_or(&id(5));
55
| ^^^^^ - temporary value is freed at the end of this statement
66
| |
77
| creates a temporary which is freed while still in use
8-
LL | &y;
9-
| -- borrow later used here
8+
LL | let _ = &y;
9+
| -- borrow later used here
10+
|
11+
help: consider using a `let` binding to create a longer lived value
12+
|
13+
LL ~ let binding = id(5);
14+
LL ~ let y = x.as_ref().unwrap_or(&binding);
1015
|
11-
= note: consider using a `let` binding to create a longer lived value
1216

1317
error: aborting due to previous error
1418

‎src/test/ui/issues/issue-36082.fixed‎

Lines changed: 17 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,17 @@
1+
// run-rustfix
2+
use std::cell::RefCell;
3+
4+
fn main() {
5+
let mut r = 0;
6+
let s = 0;
7+
let x = RefCell::new((&mut r,s));
8+
9+
let binding = x.borrow();
10+
let val: &_ = binding.0;
11+
//~^ ERROR temporary value dropped while borrowed [E0716]
12+
//~| NOTE temporary value is freed at the end of this statement
13+
//~| NOTE creates a temporary which is freed while still in use
14+
//~| HELP consider using a `let` binding to create a longer lived value
15+
println!("{}", val);
16+
//~^ borrow later used here
17+
}

‎src/test/ui/issues/issue-36082.rs‎

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
1+
// run-rustfix
12
use std::cell::RefCell;
23

34
fn main() {
@@ -9,7 +10,7 @@ fn main() {
910
//~^ ERROR temporary value dropped while borrowed [E0716]
1011
//~| NOTE temporary value is freed at the end of this statement
1112
//~| NOTE creates a temporary which is freed while still in use
12-
//~| NOTE consider using a `let` binding to create a longer lived value
13+
//~| HELP consider using a `let` binding to create a longer lived value
1314
println!("{}", val);
1415
//~^ borrow later used here
1516
}

0 commit comments

Comments
 (0)