@@ -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