Skip to content

Commit 8eb789f

Browse files
committed
region_infer.rs: add some debug!
1 parent fc81e36 commit 8eb789f

File tree

1 file changed

+7
-2
lines changed
  • src/librustc_mir/borrow_check/nll/region_infer

1 file changed

+7
-2
lines changed

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

Lines changed: 7 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -698,7 +698,10 @@ impl<'tcx> RegionInferenceContext<'tcx> {
698698
// `ClosureOutlivesRequirement`.
699699
let r_scc = self.constraint_sccs.scc(*lower_bound);
700700
for ur in self.scc_values.universal_regions_outlived_by(r_scc) {
701+
debug!("try_promote_type_test: ur={:?}", ur);
702+
701703
let non_local_ub = self.universal_region_relations.non_local_upper_bound(ur);
704+
debug!("try_promote_type_test: non_local_ub={:?}", non_local_ub);
702705

703706
assert!(self.universal_regions.is_universal_region(non_local_ub));
704707
assert!(
@@ -707,11 +710,13 @@ impl<'tcx> RegionInferenceContext<'tcx> {
707710
.is_local_free_region(non_local_ub)
708711
);
709712

710-
propagated_outlives_requirements.push(ClosureOutlivesRequirement {
713+
let requirement = ClosureOutlivesRequirement {
711714
subject,
712715
outlived_free_region: non_local_ub,
713716
blame_span: locations.span(mir),
714-
});
717+
};
718+
debug!("try_promote_type_test: pushing {:#?}", requirement);
719+
propagated_outlives_requirements.push(requirement);
715720
}
716721
true
717722
}

0 commit comments

Comments
 (0)