diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2018-08-19 07:42:22 -0700 |
|---|---|---|
| committer | Niko Matsakis <niko@alum.mit.edu> | 2018-08-27 13:57:55 -0400 |
| commit | 9394a99f8e87a03332da23db8efe3ac52e4499f2 (patch) | |
| tree | 8e0d659b773c45f4f2d84a8918f891861e05e495 /src | |
| parent | a63ece43b3d81814160dec4f7869364c5b39652f (diff) | |
fix comment
Diffstat (limited to 'src')
| -rw-r--r-- | src/librustc_mir/borrow_check/nll/type_check/liveness/local_use_map.rs | 7 |
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>, |
