Skip to content

Commit 2eb76fc

Browse files
nikomatsakiswesleywiser
authored andcommitted
add a useful debug to give_region_a_name
1 parent 4e706f5 commit 2eb76fc

File tree

1 file changed

+11
-5
lines changed
  • src/librustc_mir/borrow_check/nll/region_infer/error_reporting

1 file changed

+11
-5
lines changed

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

Lines changed: 11 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -62,20 +62,26 @@ impl<'tcx> RegionInferenceContext<'tcx> {
6262

6363
assert!(self.universal_regions.is_universal_region(fr));
6464

65-
self.give_name_from_error_region(infcx.tcx, mir_def_id, fr, counter, diag)
65+
let value = self.give_name_from_error_region(infcx.tcx, mir_def_id, fr, counter, diag)
6666
.or_else(|| {
6767
self.give_name_if_anonymous_region_appears_in_arguments(
68-
infcx, mir, mir_def_id, fr, counter, diag)
68+
infcx, mir, mir_def_id, fr, counter, diag,
69+
)
6970
})
7071
.or_else(|| {
7172
self.give_name_if_anonymous_region_appears_in_upvars(
72-
infcx.tcx, mir, fr, counter, diag)
73+
infcx.tcx, mir, fr, counter, diag,
74+
)
7375
})
7476
.or_else(|| {
7577
self.give_name_if_anonymous_region_appears_in_output(
76-
infcx, mir, mir_def_id, fr, counter, diag)
78+
infcx, mir, mir_def_id, fr, counter, diag,
79+
)
7780
})
78-
.unwrap_or_else(|| span_bug!(mir.span, "can't make a name for free region {:?}", fr))
81+
.unwrap_or_else(|| span_bug!(mir.span, "can't make a name for free region {:?}", fr));
82+
83+
debug!("give_region_a_name: gave name {:?}", value);
84+
value
7985
}
8086

8187
/// Check for the case where `fr` maps to something that the

0 commit comments

Comments
 (0)