@@ -84,7 +84,7 @@ that contains only loops and breakable blocks. It tracks where a `break`,
84
84
use std:: mem;
85
85
86
86
use crate :: build:: { BlockAnd , BlockAndExtension , BlockFrame , Builder , CFG } ;
87
- use rustc_data_structures:: fx:: FxHashMap ;
87
+ use rustc_data_structures:: fx:: { FxHashMap , FxHashSet } ;
88
88
use rustc_hir:: HirId ;
89
89
use rustc_index:: { IndexSlice , IndexVec } ;
90
90
use rustc_middle:: middle:: region;
@@ -1110,15 +1110,18 @@ impl<'a, 'tcx> Builder<'a, 'tcx> {
1110
1110
assert_eq ! ( scope. region_scope, local_scope, "local scope is not the topmost scope!" , ) ;
1111
1111
1112
1112
// look for moves of a local variable, like `MOVE(_X)`
1113
- let locals_moved = operands. iter ( ) . flat_map ( |operand| match operand {
1114
- Operand :: Copy ( _) | Operand :: Constant ( _) => None ,
1115
- Operand :: Move ( place) => place. as_local ( ) ,
1116
- } ) ;
1113
+ let locals_moved: FxHashSet < Local > = operands
1114
+ . iter ( )
1115
+ . flat_map ( |operand| match operand {
1116
+ Operand :: Copy ( _) | Operand :: Constant ( _) => None ,
1117
+ Operand :: Move ( place) => place. as_local ( ) ,
1118
+ } )
1119
+ . collect ( ) ;
1117
1120
1118
- for local in locals_moved {
1119
- // Unschedule drops from the scope.
1120
- scope . drops . retain ( |drop| drop . local != local || drop . kind != DropKind :: Value ) ;
1121
- }
1121
+ // Unschedule drops from the scope.
1122
+ scope
1123
+ . drops
1124
+ . retain ( |drop| drop . kind != DropKind :: Value || !locals_moved . contains ( & drop . local ) ) ;
1122
1125
scope. invalidate_cache ( ) ;
1123
1126
}
1124
1127
0 commit comments