diff options
| author | Paul Daniel Faria <Nashenas88@users.noreply.github.com> | 2019-11-25 00:28:24 -0500 |
|---|---|---|
| committer | Paul Daniel Faria <Nashenas88@users.noreply.github.com> | 2019-12-02 08:43:01 -0500 |
| commit | acb90eb014eff6f4e4de2c3a651c68086ad4c466 (patch) | |
| tree | b506f956a095d866cdab61d83d5d5fa312e203c7 | |
| parent | 9978574c9e18ac2feb2daf0758ec00e407be75ca (diff) | |
| download | rust-acb90eb014eff6f4e4de2c3a651c68086ad4c466.tar.gz rust-acb90eb014eff6f4e4de2c3a651c68086ad4c466.zip | |
Fix tidy issues
| -rw-r--r-- | src/librustc_mir/borrow_check/nll/type_check/mod.rs | 90 | ||||
| -rw-r--r-- | src/librustc_mir/transform/promote_consts.rs | 3 |
2 files changed, 53 insertions, 40 deletions
diff --git a/src/librustc_mir/borrow_check/nll/type_check/mod.rs b/src/librustc_mir/borrow_check/nll/type_check/mod.rs index b8a275e5b34..a554867389e 100644 --- a/src/librustc_mir/borrow_check/nll/type_check/mod.rs +++ b/src/librustc_mir/borrow_check/nll/type_check/mod.rs @@ -1,57 +1,59 @@ //! This pass type-checks the MIR to ensure it is not broken. -use crate::borrow_check::borrow_set::BorrowSet; -use crate::borrow_check::location::LocationTable; -use crate::borrow_check::nll::constraints::{OutlivesConstraintSet, OutlivesConstraint}; -use crate::borrow_check::nll::member_constraints::MemberConstraintSet; -use crate::borrow_check::nll::facts::AllFacts; -use crate::borrow_check::nll::region_infer::values::LivenessValues; -use crate::borrow_check::nll::region_infer::values::PlaceholderIndex; -use crate::borrow_check::nll::region_infer::values::PlaceholderIndices; -use crate::borrow_check::nll::region_infer::values::RegionValueElements; -use crate::borrow_check::nll::region_infer::{ClosureRegionRequirementsExt, TypeTest}; -use crate::borrow_check::nll::renumber; -use crate::borrow_check::nll::type_check::free_region_relations::{ - CreateResult, UniversalRegionRelations, -}; -use crate::borrow_check::nll::universal_regions::{DefiningTy, UniversalRegions}; -use crate::borrow_check::nll::ToRegionVid; -use crate::transform::promote_consts::should_suggest_const_in_array_repeat_expressions_attribute; -use crate::dataflow::move_paths::MoveData; -use crate::dataflow::FlowAtLocation; -use crate::dataflow::MaybeInitializedPlaces; +use std::{fmt, iter, mem}; +use std::rc::Rc; + use either::Either; + use rustc::hir; use rustc::hir::def_id::DefId; +use rustc::infer::{InferCtxt, InferOk, LateBoundRegionConversionTime, NLLRegionVariableOrigin}; use rustc::infer::canonical::QueryRegionConstraints; use rustc::infer::outlives::env::RegionBoundPairs; -use rustc::infer::{InferCtxt, InferOk, LateBoundRegionConversionTime, NLLRegionVariableOrigin}; use rustc::infer::type_variable::{TypeVariableOrigin, TypeVariableOriginKind}; +use rustc::mir::*; use rustc::mir::interpret::PanicInfo; use rustc::mir::tcx::PlaceTy; -use rustc::mir::visit::{PlaceContext, Visitor, NonMutatingUseContext}; -use rustc::mir::*; +use rustc::mir::visit::{NonMutatingUseContext, PlaceContext, Visitor}; +use rustc::traits::{self, ObligationCause, PredicateObligations}; +use rustc::traits::query::{Fallible, NoSolution}; use rustc::traits::query::type_op; use rustc::traits::query::type_op::custom::CustomTypeOp; -use rustc::traits::query::{Fallible, NoSolution}; -use rustc::traits::{self, ObligationCause, PredicateObligations}; -use rustc::ty::adjustment::{PointerCast}; -use rustc::ty::cast::CastTy; -use rustc::ty::fold::TypeFoldable; -use rustc::ty::subst::{Subst, SubstsRef, GenericArgKind, UserSubsts}; use rustc::ty::{ - self, RegionVid, ToPolyTraitRef, Ty, TyCtxt, UserType, - CanonicalUserTypeAnnotation, CanonicalUserTypeAnnotations, + self, CanonicalUserTypeAnnotation, CanonicalUserTypeAnnotations, RegionVid, ToPolyTraitRef, Ty, + TyCtxt, UserType, UserTypeAnnotationIndex, }; -use rustc_data_structures::fx::{FxHashMap, FxHashSet}; -use rustc_index::vec::{IndexVec, Idx}; +use rustc::ty::adjustment::PointerCast; +use rustc::ty::cast::CastTy; +use rustc::ty::fold::TypeFoldable; use rustc::ty::layout::VariantIdx; -use std::rc::Rc; -use std::{fmt, iter, mem}; -use syntax_pos::{Span, DUMMY_SP}; - +use rustc::ty::subst::{GenericArgKind, Subst, SubstsRef, UserSubsts}; +use rustc_data_structures::fx::{FxHashMap, FxHashSet}; use rustc_error_codes::*; +use rustc_index::vec::{Idx, IndexVec}; +use syntax_pos::{DUMMY_SP, Span}; + +use crate::borrow_check::borrow_set::BorrowSet; +use crate::borrow_check::location::LocationTable; +use crate::borrow_check::nll::constraints::{OutlivesConstraint, OutlivesConstraintSet}; +use crate::borrow_check::nll::facts::AllFacts; +use crate::borrow_check::nll::member_constraints::MemberConstraintSet; +use crate::borrow_check::nll::region_infer::{ClosureRegionRequirementsExt, TypeTest}; +use crate::borrow_check::nll::region_infer::values::LivenessValues; +use crate::borrow_check::nll::region_infer::values::PlaceholderIndex; +use crate::borrow_check::nll::region_infer::values::PlaceholderIndices; +use crate::borrow_check::nll::region_infer::values::RegionValueElements; +use crate::borrow_check::nll::renumber; +use crate::borrow_check::nll::ToRegionVid; +use crate::borrow_check::nll::type_check::free_region_relations::{ + CreateResult, UniversalRegionRelations, +}; +use crate::borrow_check::nll::universal_regions::{DefiningTy, UniversalRegions}; +use crate::dataflow::FlowAtLocation; +use crate::dataflow::MaybeInitializedPlaces; +use crate::dataflow::move_paths::MoveData; +use crate::transform::promote_consts::should_suggest_const_in_array_repeat_expressions_attribute; macro_rules! span_mirbug { ($context:expr, $elem:expr, $($message:tt)*) => ({ @@ -1374,7 +1376,12 @@ impl<'a, 'tcx> TypeChecker<'a, 'tcx> { self.infcx.tcx } - fn check_stmt(&mut self, body: ReadOnlyBodyCache<'_, 'tcx>, stmt: &Statement<'tcx>, location: Location) { + fn check_stmt( + &mut self, + body: ReadOnlyBodyCache<'_, 'tcx>, + stmt: &Statement<'tcx>, + location: Location) + { debug!("check_stmt: {:?}", stmt); let tcx = self.tcx(); match stmt.kind { @@ -1985,7 +1992,12 @@ impl<'a, 'tcx> TypeChecker<'a, 'tcx> { } } - fn check_rvalue(&mut self, body: ReadOnlyBodyCache<'_, 'tcx>, rvalue: &Rvalue<'tcx>, location: Location) { + fn check_rvalue( + &mut self, + body: ReadOnlyBodyCache<'_, 'tcx>, + rvalue: &Rvalue<'tcx>, + location: Location) + { let tcx = self.tcx(); match rvalue { diff --git a/src/librustc_mir/transform/promote_consts.rs b/src/librustc_mir/transform/promote_consts.rs index 4af9ccb83ac..4c5b374059d 100644 --- a/src/librustc_mir/transform/promote_consts.rs +++ b/src/librustc_mir/transform/promote_consts.rs @@ -63,7 +63,8 @@ impl<'tcx> MirPass<'tcx> for PromoteTemps<'tcx> { let mut rpo = traversal::reverse_postorder(body); let (temps, all_candidates) = collect_temps_and_candidates(tcx, body, &mut rpo); - let promotable_candidates = validate_candidates(tcx, read_only, def_id, &temps, &all_candidates); + let promotable_candidates + = validate_candidates(tcx, read_only, def_id, &temps, &all_candidates); let promoted = promote_candidates(def_id, body, tcx, temps, promotable_candidates); self.promoted_fragments.set(promoted); |
