From f50e77f4be7e4f197bae646730b4f98d3cbf2aa8 Mon Sep 17 00:00:00 2001 From: Josh Triplett Date: Sat, 4 Oct 2025 14:19:11 -0700 Subject: [PATCH] Destructors: Reword introduction of terms "destructor" and "dropped" Avoid implying a difference between the two. The existing wording could be read as "either its destructor is run or it is dropped", implying a difference. --- src/destructors.md | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/src/destructors.md b/src/destructors.md index d89c069c8..c2143718a 100644 --- a/src/destructors.md +++ b/src/destructors.md @@ -3,10 +3,11 @@ r[destructors] r[destructors.intro] When an [initialized] [variable] or [temporary] goes out of -[scope](#drop-scopes), its *destructor* is run, or it is *dropped*. [Assignment] -also runs the destructor of its left-hand operand, if it's initialized. If a -variable has been partially initialized, only its initialized fields are -dropped. +[scope](#drop-scopes), it is *dropped*, which means its *destructor* is run. +(The two terms are used interchangeably here.) +[Assignment] also runs the destructor of its left-hand operand, if it's +initialized. If a variable has been partially initialized, only its initialized +fields are dropped. r[destructors.operation] The destructor of a type `T` consists of: