Skip to content

Commit 54d4b8d

Browse files
authored
[gardening]: minor copy edit in footnote of 0474-yielding-accessors.md (#2841)
remove a superfluous word
1 parent 9265769 commit 54d4b8d

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

proposals/0474-yielding-accessors.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -220,7 +220,7 @@ To fulfill such a requirement, the conformance must provide a getter, meaning it
220220
In practical terms, this means that the requirement cannot be witnessed by a stored property or a `yielding borrow` accessor when the result is of noncopyable type,[^2] since the storage of a stored property is owned by the containing aggregate and the result of a `yielding borrow` is owned by the suspended coroutine, and it would be necessary to copy to provide ownership to the caller.
221221
However, if the type of the `get` requirement is copyable, the compiler can synthesize the getter from the other accessor kinds by introducing copies as necessary.
222222

223-
[^2]: While the compiler does currently accept such code currently, it does so by interpreting that `get` as a `yielding borrow`, which is a bug.
223+
[^2]: While the compiler does currently accept such code, it does so by interpreting that `get` as a `yielding borrow`, which is a bug.
224224

225225
### `yielding mutate`<a name="design-modify"/>
226226

0 commit comments

Comments
 (0)