From 117c5b564689ec48169a88e93cd3ed05a61deeef Mon Sep 17 00:00:00 2001 From: Stefanos Grammenos Date: Thu, 12 Dec 2024 02:24:46 +0200 Subject: [PATCH] Adhere to master branch's style to avoid unnecessary diff noise. --- src/types/closure.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/types/closure.md b/src/types/closure.md index 8e026e1a9..7a42df1a8 100644 --- a/src/types/closure.md +++ b/src/types/closure.md @@ -461,7 +461,8 @@ let z = &x; ``` In this case, borrowing `x` mutably is not possible, because `x` is not `mut`. -But at the same time, borrowing `x` immutably would make the assignment illegal, because a `& &mut` reference might not be unique, so it cannot safely be used to modify a value. +But at the same time, borrowing `x` immutably would make the assignment illegal, +because a `& &mut` reference might not be unique, so it cannot safely be used to modify a value. So a unique immutable borrow is used: it borrows `x` immutably, but like a mutable borrow, it must be unique. In the above example, uncommenting the declaration of `y` will produce an error because it would violate the uniqueness of the closure's borrow of `x`; the declaration of `z` is valid because the closure's lifetime has expired, i.e. there are no `c` calls after `z`, releasing the borrow.