Skip to content

Commit 6ebcdb4

Browse files
committed
Corrections from meg-gupta
1 parent 78d07f2 commit 6ebcdb4

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

proposals/NNNN-lifetime-dependency.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -134,7 +134,7 @@ Similar to the previous example:
134134

135135
In both this and the previous case, the lifetime of the return value is "scoped" to the lifetime of the original value.
136136
Because lifetime dependencies can only be attached to `~Escapable` values, types that contain pointers will generally need to be `~Escapable` in order to provide safe semantics.
137-
As a result, **scoped lifetime dependencies** are the common case whenever an `Escapable` value (such as an Array or similar container) is providing a `~Escapable` value (such as the `BufferReference` or `MutatingBufferReference` in these examples).
137+
As a result, **scoped lifetime dependencies** are the only possibility whenever an `Escapable` value (such as an Array or similar container) is providing a `~Escapable` value (such as the `BufferReference` or `MutatingBufferReference` in these examples).
138138

139139
#### Copy Lifetime Dependency
140140

@@ -214,7 +214,7 @@ Given a method of this form:
214214

215215
The behavior depends as above on the mutation-modifier and whether the defining type is `Escapable` or `~Escapable`.
216216

217-
**Initializers:** An initializer can define a lifetime dependency on one of its arguments.
217+
**Initializers:** An initializer can define lifetime dependencies on one or more arguments.
218218
In this case, we use the same rules same as for “Functions” above
219219
by using the convention that initializers can be viewed as functions that return `Self`:
220220

0 commit comments

Comments
 (0)