Skip to content

Commit 04aeef8

Browse files
nikomatsakisdavidtwco
authored andcommitted
Debug logs for replace_bound_regions_with_nll_infer_vars
1 parent fc5c4da commit 04aeef8

File tree

1 file changed

+6
-0
lines changed

1 file changed

+6
-0
lines changed

src/librustc_mir/borrow_check/nll/universal_regions.rs

+6
Original file line numberDiff line numberDiff line change
@@ -777,13 +777,19 @@ impl<'cx, 'gcx, 'tcx> InferCtxtExt<'tcx> for InferCtxt<'cx, 'gcx, 'tcx> {
777777
where
778778
T: TypeFoldable<'tcx>,
779779
{
780+
debug!(
781+
"replace_bound_regions_with_nll_infer_vars(value={:?}, all_outlive_scope={:?})",
782+
value,
783+
all_outlive_scope,
784+
);
780785
let (value, _map) = self.tcx.replace_late_bound_regions(value, |br| {
781786
let liberated_region = self.tcx.mk_region(ty::ReFree(ty::FreeRegion {
782787
scope: all_outlive_scope,
783788
bound_region: br,
784789
}));
785790
let region_vid = self.next_nll_region_var(origin);
786791
indices.insert_late_bound_region(liberated_region, region_vid.to_region_vid());
792+
debug!("liberated_region={:?} => {:?}", liberated_region, region_vid);
787793
region_vid
788794
});
789795
value

0 commit comments

Comments
 (0)