about summary refs log tree commit diff
path: root/src
diff options
context:
space:
mode:
authorNiko Matsakis <niko@alum.mit.edu>2018-08-19 07:42:22 -0700
committerNiko Matsakis <niko@alum.mit.edu>2018-08-27 13:57:55 -0400
commit9394a99f8e87a03332da23db8efe3ac52e4499f2 (patch)
tree8e0d659b773c45f4f2d84a8918f891861e05e495 /src
parenta63ece43b3d81814160dec4f7869364c5b39652f (diff)
fix comment
Diffstat (limited to 'src')
-rw-r--r--src/librustc_mir/borrow_check/nll/type_check/liveness/local_use_map.rs7
1 files changed, 4 insertions, 3 deletions
diff --git a/src/librustc_mir/borrow_check/nll/type_check/liveness/local_use_map.rs b/src/librustc_mir/borrow_check/nll/type_check/liveness/local_use_map.rs
index b63c43d825b..c5c2eb6e22d 100644
--- a/src/librustc_mir/borrow_check/nll/type_check/liveness/local_use_map.rs
+++ b/src/librustc_mir/borrow_check/nll/type_check/liveness/local_use_map.rs
@@ -32,11 +32,12 @@ crate struct LocalUseMap<'me> {
     /// Head of a linked list of **uses** of each variable -- use in
     /// this context means that the existing value of the variable is
     /// read or modified. e.g., `y` is used in `x = y` but not `x`.
+    /// Note that `DROP(x)` terminators are excluded from this list.
     first_use_at: IndexVec<LocalWithRegion, Option<AppearanceIndex>>,
 
-    /// Head of a linked list of **uses** of each variable -- use in
-    /// this context means that the existing value of the variable is
-    /// read or modified. e.g., `y` is used in `x = y` but not `x`.
+    /// Head of a linked list of **drops** of each variable -- these
+    /// are a special category of uses corresponding to the drop that
+    /// we add for each local variable.
     first_drop_at: IndexVec<LocalWithRegion, Option<AppearanceIndex>>,
 
     appearances: IndexVec<AppearanceIndex, Appearance>,