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

Allow to mutate use captures

Browse source
This commit is contained in:
Santiago Pastorino 2025-02-14 18:35:43 -03:00
parent 292aa87049
commit 6eb6ff62f7
No known key found for this signature in database
GPG key ID: 8131A24E0C79EFAF
2 changed files with 24 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

20
compiler/rustc_borrowck/src/lib.rs
View file

@ -1490,14 +1490,20 @@ impl<'a, 'tcx> MirBorrowckCtxt<'a, '_, 'tcx> {
let stmt = &bbd.statements[loc.statement_index];
debug!("temporary assigned in: stmt={:?}", stmt);
if let StatementKind::Assign(box (_, Rvalue::Ref(_, _, source))) = stmt.kind
{
propagate_closure_used_mut_place(self, source);
} else {
bug!(
"closures should only capture user variables \
match stmt.kind {
StatementKind::Assign(box (
_,
Rvalue::Ref(_, _, source)
| Rvalue::Use(Operand::Copy(source) | Operand::Move(source)),
)) => {
propagate_closure_used_mut_place(self, source);
}
_ => {
bug!(
"closures should only capture user variables \
or references to user variables"
);
);
}
}
}
_ => propagate_closure_used_mut_place(self, place),

11
tests/ui/ergonomic-clones/closure/mutation.rs Normal file
View file

@ -0,0 +1,11 @@
//@ check-pass
#![feature(ergonomic_clones)]
fn main() {
let mut my_var = false;
let mut callback = use || {
my_var = true;
};
callback();
}