mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

update comment on MutBorrowKind::ClosureCapture

Browse Source
This commit is contained in:
Ziru Niu 2023-06-07 15:44:32 +08:00
parent a52cc0a8c9
commit b8a250fc4f
1 changed files with 7 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
compiler/rustc_middle/src/mir/syntax.rs
View File

@ -190,7 +190,7 @@ pub enum BorrowKind {
#[derive(Hash, HashStable)] #[derive(Hash, HashStable)]
pub enum MutBorrowKind { pub enum MutBorrowKind {
Default, Default,
/// this borrow arose from method-call auto-ref. (i.e., `adjustment::Adjust::Borrow`) /// This borrow arose from method-call auto-ref. (i.e., `adjustment::Adjust::Borrow`)
TwoPhaseBorrow, TwoPhaseBorrow,
/// Data must be immutable but not aliasable. This kind of borrow /// Data must be immutable but not aliasable. This kind of borrow
/// cannot currently be expressed by the user and is used only in /// cannot currently be expressed by the user and is used only in
@ -226,9 +226,12 @@ pub enum MutBorrowKind {
/// user code, if awkward, but extra weird for closures, since the /// user code, if awkward, but extra weird for closures, since the
/// borrow is hidden. /// borrow is hidden.
/// ///
/// So we introduce a "unique imm" borrow -- the referent is /// So we introduce a `ClosureCapture` borrow -- user will not have to mark the variable
/// immutable, but not aliasable. This solves the problem. For /// containing the mutable reference as `mut`, as they didn't ever
/// simplicity, we don't give users the way to express this /// intend to mutate the mutable reference itself. We still mutable capture it in order to
/// mutate the pointed value through it (but not mutating the reference itself).
///
/// This solves the problem. For simplicity, we don't give users the way to express this
/// borrow, it's just used when translating closures. /// borrow, it's just used when translating closures.
ClosureCapture, ClosureCapture,
} }