File tree 1 file changed +14
-0
lines changed
1 file changed +14
-0
lines changed Original file line number Diff line number Diff line change @@ -1496,7 +1496,17 @@ impl<'o, 'tcx> dyn AstConv<'tcx> + 'o {
1496
1496
{
1497
1497
let tcx = self . tcx ( ) ;
1498
1498
1499
+ debug ! (
1500
+ "find_bound_for_assoc_item(ty_param_def_id={:?}, assoc_name={:?}, span={:?})" ,
1501
+ ty_param_def_id,
1502
+ assoc_name,
1503
+ span,
1504
+ ) ;
1505
+
1499
1506
let predicates = & self . get_type_parameter_bounds ( span, ty_param_def_id) . predicates ;
1507
+
1508
+ debug ! ( "find_bound_for_assoc_item: predicates={:#?}" , predicates) ;
1509
+
1500
1510
let bounds = predicates. iter ( ) . filter_map ( |( p, _) | p. to_opt_poly_trait_ref ( ) ) ;
1501
1511
1502
1512
// Check that there is exactly one way to find an associated type with the
@@ -1535,7 +1545,11 @@ impl<'o, 'tcx> dyn AstConv<'tcx> + 'o {
1535
1545
}
1536
1546
} ;
1537
1547
1548
+ debug ! ( "one_bound_for_assoc_type: bound = {:?}" , bound) ;
1549
+
1538
1550
if let Some ( bound2) = bounds. next ( ) {
1551
+ debug ! ( "one_bound_for_assoc_type: bound2 = {:?}" , bound2) ;
1552
+
1539
1553
let bounds = iter:: once ( bound) . chain ( iter:: once ( bound2) ) . chain ( bounds) ;
1540
1554
let mut err = struct_span_err ! (
1541
1555
self . tcx( ) . sess, span, E0221 ,
You can’t perform that action at this time.
0 commit comments