1
Fork 0

refactor: remove a redundant mutable variable

This commit is contained in:
Takayuki Maeda 2022-07-05 18:28:36 +09:00
parent 2557603f32
commit c9e2aa4d7f

View file

@ -131,8 +131,6 @@ impl<'a, 'tcx> FulfillmentContext<'tcx> {
let span = debug_span!("select", obligation_forest_size = ?self.predicates.len()); let span = debug_span!("select", obligation_forest_size = ?self.predicates.len());
let _enter = span.enter(); let _enter = span.enter();
let mut errors = Vec::new();
// Process pending obligations. // Process pending obligations.
let outcome: Outcome<_, _> = self.predicates.process_obligations(&mut FulfillProcessor { let outcome: Outcome<_, _> = self.predicates.process_obligations(&mut FulfillProcessor {
selcx, selcx,
@ -142,7 +140,8 @@ impl<'a, 'tcx> FulfillmentContext<'tcx> {
// FIXME: if we kept the original cache key, we could mark projection // FIXME: if we kept the original cache key, we could mark projection
// obligations as complete for the projection cache here. // obligations as complete for the projection cache here.
errors.extend(outcome.errors.into_iter().map(to_fulfillment_error)); let errors: Vec<FulfillmentError<'tcx>> =
outcome.errors.into_iter().map(to_fulfillment_error).collect();
debug!( debug!(
"select({} predicates remaining, {} errors) done", "select({} predicates remaining, {} errors) done",
@ -728,7 +727,7 @@ impl<'a, 'b, 'tcx> FulfillProcessor<'a, 'b, 'tcx> {
} }
return ProcessResult::Changed(vec![]); return ProcessResult::Changed(vec![]);
} else { } else {
tracing::debug!("Does NOT hold: {:?}", obligation); debug!("Does NOT hold: {:?}", obligation);
} }
} }