@@ -301,16 +301,12 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
301
301
span : Span ,
302
302
def_id : DefId ,
303
303
substs : SubstsRef < ' tcx > ,
304
- ) -> ( ty:: InstantiatedPredicates < ' tcx > , Vec < Span > ) {
304
+ ) -> ty:: InstantiatedPredicates < ' tcx > {
305
305
let bounds = self . tcx . predicates_of ( def_id) ;
306
- let spans: Vec < Span > = bounds. predicates . iter ( ) . map ( |( _, span) | * span) . collect ( ) ;
307
306
let result = bounds. instantiate ( self . tcx , substs) ;
308
307
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
314
310
}
315
311
316
312
pub ( in super :: super ) fn normalize < T > ( & self , span : Span , value : T ) -> T
@@ -1389,7 +1385,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
1389
1385
}
1390
1386
_ => false ,
1391
1387
} ;
1392
- let ( bounds, _ ) = self . instantiate_bounds ( span, def_id, & substs) ;
1388
+ let bounds = self . instantiate_bounds ( span, def_id, & substs) ;
1393
1389
1394
1390
for mut obligation in traits:: predicates_for_generics (
1395
1391
|idx, predicate_span| {
0 commit comments