This repository was archived by the owner on May 28, 2025. It is now read-only.
File tree Expand file tree Collapse file tree 2 files changed +3
-3
lines changed Expand file tree Collapse file tree 2 files changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -141,7 +141,7 @@ impl<'tcx> chalk_solve::RustIrDatabase<RustInterner<'tcx>> for RustIrDatabase<'t
141
141
142
142
let predicates = self . tcx . predicates_of ( adt_def. did ) . predicates ;
143
143
let where_clauses: Vec < _ > = predicates
144
- . into_iter ( )
144
+ . iter ( )
145
145
. map ( |( wc, _) | wc. subst ( self . tcx , bound_vars) )
146
146
. filter_map ( |wc| LowerInto :: < Option < chalk_ir:: QuantifiedWhereClause < RustInterner < ' tcx > > > > :: lower_into ( wc, & self . interner ) )
147
147
. collect ( ) ;
@@ -187,7 +187,7 @@ impl<'tcx> chalk_solve::RustIrDatabase<RustInterner<'tcx>> for RustIrDatabase<'t
187
187
188
188
let predicates = self . tcx . predicates_defined_on ( def_id) . predicates ;
189
189
let where_clauses: Vec < _ > = predicates
190
- . into_iter ( )
190
+ . iter ( )
191
191
. map ( |( wc, _) | wc. subst ( self . tcx , & bound_vars) )
192
192
. filter_map ( |wc| LowerInto :: < Option < chalk_ir:: QuantifiedWhereClause < RustInterner < ' tcx > > > > :: lower_into ( wc, & self . interner ) ) . collect ( ) ;
193
193
Original file line number Diff line number Diff line change @@ -443,7 +443,7 @@ fn opaque_type_projection_predicates(
443
443
444
444
let bounds = tcx. predicates_of ( def_id) ;
445
445
let predicates =
446
- util:: elaborate_predicates ( tcx, bounds. predicates . into_iter ( ) . map ( |& ( pred, _) | pred) ) ;
446
+ util:: elaborate_predicates ( tcx, bounds. predicates . iter ( ) . map ( |& ( pred, _) | pred) ) ;
447
447
448
448
let filtered_predicates = predicates. filter_map ( |obligation| {
449
449
let pred = obligation. predicate ;
You can’t perform that action at this time.
0 commit comments