diff options
Diffstat (limited to 'src/Values.ml')
-rw-r--r-- | src/Values.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/Values.ml b/src/Values.ml index 37ac2c84..3fddc88c 100644 --- a/src/Values.ml +++ b/src/Values.ml @@ -433,7 +433,8 @@ and aborrow_content = When giving shared borrows as arguments to function calls, we introduce new borrows to keep track of the fact that the function - might reborrow values inside. + might reborrow values inside. Note that as shared values are immutable, + we don't really need to remember the structure of the shared values. Example: ======== |