@@ -301,16 +301,12 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
301301 span: Span,
302302 def_id: DefId,
303303 substs: SubstsRef<'tcx>,
304- ) -> ( ty::InstantiatedPredicates<'tcx>, Vec<Span>) {
304+ ) -> ty::InstantiatedPredicates<'tcx> {
305305 let bounds = self.tcx.predicates_of(def_id);
306- let spans: Vec<Span> = bounds.predicates.iter().map(|(_, span)| *span).collect();
307306 let result = bounds.instantiate(self.tcx, substs);
308307 let result = self.normalize(span, result);
309- debug!(
310- "instantiate_bounds(bounds={:?}, substs={:?}) = {:?}, {:?}",
311- bounds, substs, result, spans,
312- );
313- (result, spans)
308+ debug!("instantiate_bounds(bounds={:?}, substs={:?}) = {:?}", bounds, substs, result);
309+ result
314310 }
315311
316312 pub(in super::super) fn normalize<T>(&self, span: Span, value: T) -> T
@@ -1389,7 +1385,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
13891385 }
13901386 _ => false,
13911387 };
1392- let ( bounds, _) = self.instantiate_bounds(span, def_id, &substs);
1388+ let bounds = self.instantiate_bounds(span, def_id, &substs);
13931389
13941390 for mut obligation in traits::predicates_for_generics(
13951391 |idx, predicate_span| {
0 commit comments