Skip to content

Commit 76991ea

Browse files
committed
[WIP] debug logs in error-reporting
1 parent fa69e21 commit 76991ea

File tree

1 file changed

+14
-3
lines changed
  • src/librustc_mir/borrow_check/nll/region_infer/error_reporting

1 file changed

+14
-3
lines changed

src/librustc_mir/borrow_check/nll/region_infer/error_reporting/mod.rs

Lines changed: 14 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -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

Comments
 (0)