From e2230a4366dc7854f766e4f79e964f719671fa0c Mon Sep 17 00:00:00 2001 From: Remy Rakic Date: Mon, 2 Dec 2019 19:37:24 +0100 Subject: [PATCH] appease the vociferous tidy --- src/librustc_mir/borrow_check/nll/mod.rs | 16 +++++++++++++--- .../borrow_check/nll/region_infer/mod.rs | 13 +++++++++---- 2 files changed, 22 insertions(+), 7 deletions(-) diff --git a/src/librustc_mir/borrow_check/nll/mod.rs b/src/librustc_mir/borrow_check/nll/mod.rs index 5be299f2a94..0c2e2320bf9 100644 --- a/src/librustc_mir/borrow_check/nll/mod.rs +++ b/src/librustc_mir/borrow_check/nll/mod.rs @@ -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)); } } @@ -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. diff --git a/src/librustc_mir/borrow_check/nll/region_infer/mod.rs b/src/librustc_mir/borrow_check/nll/region_infer/mod.rs index 574c64aa571..8d0f1b8e24a 100644 --- a/src/librustc_mir/borrow_check/nll/region_infer/mod.rs +++ b/src/librustc_mir/borrow_check/nll/region_infer/mod.rs @@ -1426,7 +1426,10 @@ fn check_polonius_subset_errors( region_naming: &mut RegionErrorNamingCtx, polonius_output: Rc, ) { - 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); @@ -1647,10 +1650,12 @@ fn report_or_propagate_universal_region_error( // 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+` -- 2.44.0