1
Fork 0

Don't suggest reborrow if usage is inside a closure

This commit is contained in:
Michael Goulet 2022-09-05 04:26:37 +00:00
parent a2cdcb3fea
commit 41d4ea2314
3 changed files with 33 additions and 1 deletions

View file

@ -258,7 +258,8 @@ impl<'cx, 'tcx> MirBorrowckCtxt<'cx, 'tcx> {
let ty = place.ty(self.body, self.infcx.tcx).ty;
// If we're in pattern, we do nothing in favor of the previous suggestion (#80913).
if is_loop_move & !in_pattern {
// Same for if we're in a loop, see #101119.
if is_loop_move & !in_pattern && !matches!(use_spans, UseSpans::ClosureUse { .. }) {
if let ty::Ref(_, _, hir::Mutability::Mut) = ty.kind() {
// We have a `&mut` ref, we need to reborrow on each iteration (#62112).
err.span_suggestion_verbose(

View file

@ -0,0 +1,16 @@
struct State;
fn once(_: impl FnOnce()) {}
fn fill_memory_blocks_mt(state: &mut State) {
loop {
once(move || {
//~^ ERROR use of moved value: `state`
fill_segment(state);
});
}
}
fn fill_segment(_: &mut State) {}
fn main() {}

View file

@ -0,0 +1,15 @@
error[E0382]: use of moved value: `state`
--> $DIR/issue-101119.rs:7:14
|
LL | fn fill_memory_blocks_mt(state: &mut State) {
| ----- move occurs because `state` has type `&mut State`, which does not implement the `Copy` trait
LL | loop {
LL | once(move || {
| ^^^^^^^ value moved into closure here, in previous iteration of loop
LL |
LL | fill_segment(state);
| ----- use occurs due to use in closure
error: aborting due to previous error
For more information about this error, try `rustc --explain E0382`.