bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Debug logs for replace_bound_regions_with_nll_infer_vars

Browse source
This commit is contained in:
Niko Matsakis 2018-03-22 14:50:42 -04:00 • committed by David Wood
parent fc5c4daa88
commit 04aeef8d45
No known key found for this signature in database
GPG key ID: 01760B4F9F53F154
1 changed files with 6 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/librustc_mir/borrow_check/nll/universal_regions.rs
View file

@ -777,6 +777,11 @@ impl<'cx, 'gcx, 'tcx> InferCtxtExt<'tcx> for InferCtxt<'cx, 'gcx, 'tcx> {
where
T: TypeFoldable<'tcx>,
{
debug!(
"replace_bound_regions_with_nll_infer_vars(value={:?}, all_outlive_scope={:?})",
value,
all_outlive_scope,
);
let (value, _map) = self.tcx.replace_late_bound_regions(value, |br| {
let liberated_region = self.tcx.mk_region(ty::ReFree(ty::FreeRegion {
scope: all_outlive_scope,
@ -784,6 +789,7 @@ impl<'cx, 'gcx, 'tcx> InferCtxtExt<'tcx> for InferCtxt<'cx, 'gcx, 'tcx> {
}));
let region_vid = self.next_nll_region_var(origin);
indices.insert_late_bound_region(liberated_region, region_vid.to_region_vid());
debug!("liberated_region={:?} => {:?}", liberated_region, region_vid);
region_vid
});
value