ad9a5a5f9f
```
error[E0507]: cannot move out of `bar`, a captured variable in an `FnMut` closure
--> $DIR/borrowck-move-by-capture.rs:9:29
|
LL | let bar: Box<_> = Box::new(3);
| --- captured outer variable
LL | let _g = to_fn_mut(|| {
| -- captured by this `FnMut` closure
LL | let _h = to_fn_once(move || -> isize { *bar });
| ^^^^^^^^^^^^^^^^ ----
| | |
| | variable moved due to use in closure
| | move occurs because `bar` has type `Box<isize>`, which does not implement the `Copy` trait
| `bar` is moved here
|
help: clone the value before moving it into the closure
|
LL ~ let value = bar.clone();
LL ~ let _h = to_fn_once(move || -> isize { value });
|
```
29 lines
604 B
Rust
29 lines
604 B
Rust
struct NotCopyable;
|
|
#[derive(Clone)]
|
|
struct NotCopyableButCloneable;
|
|
|
|
fn func<F: FnMut() -> H, H: FnMut()>(_: F) {}
|
|
|
|
fn foo() {
|
|
let mut var = None;
|
|
func(|| {
|
|
// Shouldn't suggest `move ||.as_ref()` here
|
|
move || {
|
|
//~^ ERROR: cannot move out of `var`
|
|
var = Some(NotCopyable);
|
|
}
|
|
});
|
|
}
|
|
fn bar() {
|
|
let mut var = None;
|
|
func(|| {
|
|
// Shouldn't suggest `move ||.as_ref()` nor to `clone()` here
|
|
move || {
|
|
//~^ ERROR: cannot move out of `var`
|
|
var = Some(NotCopyableButCloneable);
|
|
}
|
|
});
|
|
}
|
|
|
|
fn main() {}
|