diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2019-06-12 11:48:29 -0400 |
|---|---|---|
| committer | Niko Matsakis <niko@alum.mit.edu> | 2019-07-02 12:15:21 -0400 |
| commit | a18c779fa21d0259da8e38ef6022a14310d3ae15 (patch) | |
| tree | e994adaaf560e655d68799702ad3d10041fea3b0 | |
| parent | 4831146afab6d7a2b66f094dabb4f6664587b89b (diff) | |
| download | rust-a18c779fa21d0259da8e38ef6022a14310d3ae15.tar.gz rust-a18c779fa21d0259da8e38ef6022a14310d3ae15.zip | |
pacify the mercilous tidy
long lines, trailing newlines
| -rw-r--r-- | src/librustc/infer/canonical/mod.rs | 3 | ||||
| -rw-r--r-- | src/librustc/infer/region_constraints/mod.rs | 5 | ||||
| -rw-r--r-- | src/librustc_data_structures/graph/vec_graph/mod.rs | 1 | ||||
| -rw-r--r-- | src/librustc_mir/borrow_check/nll/region_infer/mod.rs | 12 |
4 files changed, 15 insertions, 6 deletions
diff --git a/src/librustc/infer/canonical/mod.rs b/src/librustc/infer/canonical/mod.rs index 4693cf7181e..308abb5e133 100644 --- a/src/librustc/infer/canonical/mod.rs +++ b/src/librustc/infer/canonical/mod.rs @@ -307,7 +307,8 @@ impl<'tcx, V> Canonical<'tcx, V> { } } -pub type QueryOutlivesConstraint<'tcx> = ty::Binder<ty::OutlivesPredicate<Kind<'tcx>, Region<'tcx>>>; +pub type QueryOutlivesConstraint<'tcx> = + ty::Binder<ty::OutlivesPredicate<Kind<'tcx>, Region<'tcx>>>; impl<'cx, 'tcx> InferCtxt<'cx, 'tcx> { /// Creates a substitution S for the canonical value with fresh diff --git a/src/librustc/infer/region_constraints/mod.rs b/src/librustc/infer/region_constraints/mod.rs index a56c71b2b1f..6ec093ee026 100644 --- a/src/librustc/infer/region_constraints/mod.rs +++ b/src/librustc/infer/region_constraints/mod.rs @@ -973,6 +973,9 @@ impl<'tcx> RegionConstraintData<'tcx> { verifys, givens, } = self; - constraints.is_empty() && pick_constraints.is_empty() && verifys.is_empty() && givens.is_empty() + constraints.is_empty() && + pick_constraints.is_empty() && + verifys.is_empty() && + givens.is_empty() } } diff --git a/src/librustc_data_structures/graph/vec_graph/mod.rs b/src/librustc_data_structures/graph/vec_graph/mod.rs index 6b3349e3e15..7078a5a9c9b 100644 --- a/src/librustc_data_structures/graph/vec_graph/mod.rs +++ b/src/librustc_data_structures/graph/vec_graph/mod.rs @@ -110,4 +110,3 @@ impl<N: Idx> WithSuccessors for VecGraph<N> { self.successors(node).iter().cloned() } } - 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 1e377f94fae..c86ce995238 100644 --- a/src/librustc_mir/borrow_check/nll/region_infer/mod.rs +++ b/src/librustc_mir/borrow_check/nll/region_infer/mod.rs @@ -1493,19 +1493,25 @@ impl<'tcx> RegionInferenceContext<'tcx> { debug!("check_pick_constraint(p_c_i={:?})", p_c_i); let p_c = &pick_constraints[p_c_i]; let pick_region_vid = p_c.pick_region_vid; - debug!("check_pick_constraint: pick_region_vid={:?} with value {}", pick_region_vid, self.region_value_str(pick_region_vid)); + debug!( + "check_pick_constraint: pick_region_vid={:?} with value {}", + pick_region_vid, + self.region_value_str(pick_region_vid), + ); let option_regions = pick_constraints.option_regions(p_c_i); debug!("check_pick_constraint: option_regions={:?}", option_regions); // did the pick-region wind up equal to any of the option regions? - if let Some(o) = option_regions.iter().find(|&&o_r| self.eval_equal(o_r, p_c.pick_region_vid)) { + if let Some(o) = option_regions.iter().find(|&&o_r| { + self.eval_equal(o_r, p_c.pick_region_vid) + }) { debug!("check_pick_constraint: evaluated as equal to {:?}", o); continue; } // if not, report an error let region_scope_tree = &infcx.tcx.region_scope_tree(mir_def_id); - let pick_region = infcx.tcx.mk_region(ty::ReVar(pick_region_vid)); // XXX + let pick_region = infcx.tcx.mk_region(ty::ReVar(pick_region_vid)); opaque_types::unexpected_hidden_region_diagnostic( infcx.tcx, Some(region_scope_tree), |
