File tree Expand file tree Collapse file tree 1 file changed +5
-2
lines changed Expand file tree Collapse file tree 1 file changed +5
-2
lines changed Original file line number Diff line number Diff line change @@ -4070,11 +4070,14 @@ The stack location must not be modified by other instructions than
4070
4070
``store_borrow ``.
4071
4071
All uses of the store_borrow destination ```%1 `` should be via the store_borrow
4072
4072
return address ``%2 `` except dealloc_stack.
4073
- The stored value is alive until the ``end_borrow ``. During the its lifetime,the
4073
+ The stored value is alive until the ``end_borrow ``. During its lifetime, the
4074
4074
stored value must not be modified or destroyed.
4075
- The source value ``%0 `` is borrowed (i.e. not copied) and it's borrow scope
4075
+ The source value ``%0 `` is borrowed (i.e. not copied) and its borrow scope
4076
4076
must outlive the lifetime of the stored value.
4077
4077
4078
+ Notionally, the outer borrow scope ensures that there's something to be
4079
+ addressed. The inner borrow scope provides the address to work with.
4080
+
4078
4081
begin_borrow
4079
4082
````````````
4080
4083
You can’t perform that action at this time.
0 commit comments