From 09044272ec515a23df6952be85751b21c183f5cc Mon Sep 17 00:00:00 2001 From: Arthur Milchior Date: Sun, 29 May 2022 13:25:55 +0200 Subject: [PATCH] Clarification of borrowck (#354) --- src/borrow-splitting.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/borrow-splitting.md b/src/borrow-splitting.md index 51187ea..3d13ff9 100644 --- a/src/borrow-splitting.md +++ b/src/borrow-splitting.md @@ -1,10 +1,10 @@ # Splitting Borrows The mutual exclusion property of mutable references can be very limiting when -working with a composite structure. The borrow checker understands some basic -stuff, but will fall over pretty easily. It does understand structs -sufficiently to know that it's possible to borrow disjoint fields of a struct -simultaneously. So this works today: +working with a composite structure. The borrow checker (a.k.a. borrowck) +understands some basic stuff, but will fall over pretty easily. It does +understand structs sufficiently to know that it's possible to borrow disjoint +fields of a struct simultaneously. So this works today: ```rust struct Foo {