Skip to content

Commit

Permalink
appease the vociferous tidy
Browse files Browse the repository at this point in the history
  • Loading branch information
lqd committed Dec 6, 2019
1 parent 720716f commit e2230a4
Show file tree
Hide file tree
Showing 2 changed files with 22 additions and 7 deletions.
16 changes: 13 additions & 3 deletions src/librustc_mir/borrow_check/nll/mod.rs
Expand Up @@ -235,7 +235,10 @@ pub(in crate::borrow_check) fn compute_regions<'cx, 'tcx>(
// `known_subset` facts.
for (fr1, fr2) in universal_region_relations.known_outlives() {
if fr1 != fr2 {
debug!("compute_regions: emitting polonius `known_subset` fr1={:?}, fr2={:?}", fr1, fr2);
debug!(
"compute_regions: emitting polonius `known_subset` fr1={:?}, fr2={:?}",
fr1, fr2
);
all_facts.known_subset.push((*fr1, *fr2));
}
}
Expand Down Expand Up @@ -314,8 +317,15 @@ pub(in crate::borrow_check) fn compute_regions<'cx, 'tcx>(
});

// Solve the region constraints.
let closure_region_requirements =
regioncx.solve(infcx, &body, local_names, upvars, def_id, errors_buffer, polonius_output.clone());
let closure_region_requirements = regioncx.solve(
infcx,
&body,
local_names,
upvars,
def_id,
errors_buffer,
polonius_output.clone(),
);

// Dump MIR results into a file, if that is enabled. This let us
// write unit-tests, as well as helping with debugging.
Expand Down
13 changes: 9 additions & 4 deletions src/librustc_mir/borrow_check/nll/region_infer/mod.rs
Expand Up @@ -1426,7 +1426,10 @@ impl<'tcx> RegionInferenceContext<'tcx> {
region_naming: &mut RegionErrorNamingCtx,
polonius_output: Rc<PoloniusOutput>,
) {
debug!("check_polonius_subset_errors: {} subset_errors", polonius_output.subset_errors.len());
debug!(
"check_polonius_subset_errors: {} subset_errors",
polonius_output.subset_errors.len()
);

let mut outlives_suggestion = OutlivesSuggestionBuilder::new(mir_def_id, local_names);

Expand Down Expand Up @@ -1647,10 +1650,12 @@ impl<'tcx> RegionInferenceContext<'tcx> {
// Grow `shorter_fr` until we find some non-local regions. (We
// always will.) We'll call them `shorter_fr+` -- they're ever
// so slightly larger than `shorter_fr`.
let shorter_fr_plus =
self.universal_region_relations.non_local_upper_bounds(&shorter_fr);
let shorter_fr_plus = self
.universal_region_relations
.non_local_upper_bounds(&shorter_fr);
debug!(
"report_or_propagate_universal_region_error: shorter_fr_plus={:?}", shorter_fr_plus
"report_or_propagate_universal_region_error: shorter_fr_plus={:?}",
shorter_fr_plus
);
for &&fr in &shorter_fr_plus {
// Push the constraint `fr-: shorter_fr+`
Expand Down

0 comments on commit e2230a4

Please sign in to comment.