@@ -81,21 +81,32 @@ impl<'tcx> RegionInferenceContext<'tcx> {
8181 let ( path, target_region) = self
8282 . find_constraint_paths_between_regions ( from_region, target_test)
8383 . unwrap ( ) ;
84- debug ! ( "best_blame_constraint: path={:#?}" , path) ;
84+ debug ! (
85+ "best_blame_constraint: path={:#?}" ,
86+ path. iter( )
87+ . map( |& ci| format!(
88+ "{:?}: {:?} ({:?}: {:?})" ,
89+ ci,
90+ & self . constraints[ ci] ,
91+ self . constraint_sccs. scc( self . constraints[ ci] . sup) ,
92+ self . constraint_sccs. scc( self . constraints[ ci] . sub) ,
93+ ) )
94+ . collect:: <Vec <_>>( )
95+ ) ;
8596
8697 // Classify each of the constraints along the path.
8798 let mut categorized_path: Vec < ( ConstraintCategory , Span ) > = path
8899 . iter ( )
89100 . map ( |& index| self . classify_constraint ( index, mir) )
90101 . collect ( ) ;
91102 debug ! (
92- "best_blame_constraint: categorized_path={:?}" ,
103+ "best_blame_constraint: categorized_path={:# ?}" ,
93104 categorized_path
94105 ) ;
95106
96107 // Find what appears to be the most interesting path to report to the user.
97108 categorized_path. sort_by ( |p0, p1| p0. 0 . cmp ( & p1. 0 ) ) ;
98- debug ! ( "best_blame_constraint: sorted_path={:?}" , categorized_path) ;
109+ debug ! ( "best_blame_constraint: sorted_path={:# ?}" , categorized_path) ;
99110
100111 let & ( category, span) = categorized_path. first ( ) . unwrap ( ) ;
101112
0 commit comments