File tree Expand file tree Collapse file tree 1 file changed +4
-3
lines changed
src/librustc_mir/borrow_check/nll/type_check/liveness Expand file tree Collapse file tree 1 file changed +4
-3
lines changed Original file line number Diff line number Diff line change @@ -32,11 +32,12 @@ crate struct LocalUseMap<'me> {
32
32
/// Head of a linked list of **uses** of each variable -- use in
33
33
/// this context means that the existing value of the variable is
34
34
/// read or modified. e.g., `y` is used in `x = y` but not `x`.
35
+ /// Note that `DROP(x)` terminators are excluded from this list.
35
36
first_use_at : IndexVec < LocalWithRegion , Option < AppearanceIndex > > ,
36
37
37
- /// Head of a linked list of **uses ** of each variable -- use in
38
- /// this context means that the existing value of the variable is
39
- /// read or modified. e.g., `y` is used in `x = y` but not `x` .
38
+ /// Head of a linked list of **drops ** of each variable -- these
39
+ /// are a special category of uses corresponding to the drop that
40
+ /// we add for each local variable .
40
41
first_drop_at : IndexVec < LocalWithRegion , Option < AppearanceIndex > > ,
41
42
42
43
appearances : IndexVec < AppearanceIndex , Appearance > ,
You can’t perform that action at this time.
0 commit comments