Skip to content

Commit 13e9076

Browse files
committed
Clarify that "or it is dropped" is meant restrictively
The introduction of the *Destructors* chapter says: > When an initialized variable or temporary goes out of scope, > its *destructor* is run, or it is *dropped*. Grammatically, the final comma there suggests that the clause "or it is dropped" is non-restrictive -- i.e., that it could be removed from the sentence without changing its meaning. It's as though we had written: > When an initialized variable or temporary goes out of scope, > its *destructor* is run, or in other words, it is *dropped*. That's not what we mean here currently, as discussed in [#1078], so the comma is incorrectly placed. Note that this isn't necessarily the final step in clarifying this. There's more we should probably do. But it is a step in the right direction, so let's take it. [#1078]: #1078
1 parent 1536d89 commit 13e9076

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/destructors.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@ r[destructors]
33

44
r[destructors.intro]
55
When an [initialized] [variable] or [temporary] goes out of
6-
[scope](#drop-scopes), its *destructor* is run, or it is *dropped*. [Assignment]
6+
[scope](#drop-scopes), its *destructor* is run or it is *dropped*. [Assignment]
77
also runs the destructor of its left-hand operand, if it's initialized. If a
88
variable has been partially initialized, only its initialized fields are
99
dropped.

0 commit comments

Comments
 (0)