@@ -186,8 +186,8 @@ impl<'cx, 'gcx, 'tcx> LexicalResolver<'cx, 'gcx, 'tcx> {
186
186
}
187
187
188
188
fn expansion ( & self , var_values : & mut LexicalRegionResolutions < ' tcx > ) {
189
- self . iterate_until_fixed_point ( "Expansion" , |constraint, origin | {
190
- debug ! ( "expansion: constraint={:?} origin={:?} " , constraint, origin ) ;
189
+ self . iterate_until_fixed_point ( "Expansion" , |constraint| {
190
+ debug ! ( "expansion: constraint={:?}" , constraint) ;
191
191
match * constraint {
192
192
Constraint :: RegSubVar ( a_region, b_vid) => {
193
193
let b_data = var_values. value_mut ( b_vid) ;
@@ -722,18 +722,17 @@ impl<'cx, 'gcx, 'tcx> LexicalResolver<'cx, 'gcx, 'tcx> {
722
722
}
723
723
724
724
fn iterate_until_fixed_point < F > ( & self , tag : & str , mut body : F )
725
- where
726
- F : FnMut ( & Constraint < ' tcx > , & SubregionOrigin < ' tcx > ) -> ( bool , bool ) ,
725
+ where F : FnMut ( & Constraint < ' tcx > ) -> ( bool , bool ) ,
727
726
{
728
- let mut constraints: SmallVec < [ _ ; 16 ] > = self . data . constraints . iter ( ) . collect ( ) ;
727
+ let mut constraints: SmallVec < [ _ ; 16 ] > = self . data . constraints . keys ( ) . collect ( ) ;
729
728
let mut iteration = 0 ;
730
729
let mut changed = true ;
731
730
while changed {
732
731
changed = false ;
733
732
iteration += 1 ;
734
733
debug ! ( "---- {} Iteration {}{}" , "#" , tag, iteration) ;
735
- constraints. retain ( |( constraint, origin ) | {
736
- let ( edge_changed, retain) = body ( constraint, origin ) ;
734
+ constraints. retain ( |constraint| {
735
+ let ( edge_changed, retain) = body ( constraint) ;
737
736
if edge_changed {
738
737
debug ! ( "Updated due to constraint {:?}" , constraint) ;
739
738
changed = true ;
0 commit comments