about summary refs log tree commit diff
diff options
context:
space:
mode:
authorRalf Jung <post@ralfj.de>2017-07-22 01:04:16 -0700
committerRalf Jung <post@ralfj.de>2017-07-30 01:11:59 -0700
commitb6816b2b56f5e1044f100e0ab7da0d9540d8f9cf (patch)
tree940feea1d0ddd7eeca312d829e196f12f085a109
parent23cd90ed41b6f1299d51da80cc6481f28a4b0f1f (diff)
downloadrust-b6816b2b56f5e1044f100e0ab7da0d9540d8f9cf.tar.gz
rust-b6816b2b56f5e1044f100e0ab7da0d9540d8f9cf.zip
please the tidy
-rw-r--r--src/librustc/ich/impls_mir.rs3
-rw-r--r--src/librustc/mir/mod.rs3
-rw-r--r--src/librustc_mir/transform/add_validation.rs4
-rw-r--r--src/librustc_mir/transform/clean_end_regions.rs5
-rw-r--r--src/librustc_mir/transform/erase_regions.rs4
5 files changed, 12 insertions, 7 deletions
diff --git a/src/librustc/ich/impls_mir.rs b/src/librustc/ich/impls_mir.rs
index bef35fdc257..c20864183f4 100644
--- a/src/librustc/ich/impls_mir.rs
+++ b/src/librustc/ich/impls_mir.rs
@@ -243,7 +243,8 @@ for mir::StatementKind<'tcx> {
     }
 }
 
-impl<'a, 'gcx, 'tcx, T> HashStable<StableHashingContext<'a, 'gcx, 'tcx>> for mir::ValidationOperand<'tcx, T>
+impl<'a, 'gcx, 'tcx, T> HashStable<StableHashingContext<'a, 'gcx, 'tcx>>
+    for mir::ValidationOperand<'tcx, T>
     where T: HashStable<StableHashingContext<'a, 'gcx, 'tcx>>
 {
     fn hash_stable<W: StableHasherResult>(&self,
diff --git a/src/librustc/mir/mod.rs b/src/librustc/mir/mod.rs
index f8261f80629..3ee86dbdc84 100644
--- a/src/librustc/mir/mod.rs
+++ b/src/librustc/mir/mod.rs
@@ -1596,7 +1596,8 @@ impl<'tcx> TypeFoldable<'tcx> for Statement<'tcx> {
             // trait with a `fn visit_extent`.
             EndRegion(ref _extent) => false,
 
-            Validate(ref _op, ref lvalues) => lvalues.iter().any(|ty_and_lvalue| ty_and_lvalue.visit_with(visitor)),
+            Validate(ref _op, ref lvalues) =>
+                lvalues.iter().any(|ty_and_lvalue| ty_and_lvalue.visit_with(visitor)),
 
             Nop => false,
         }
diff --git a/src/librustc_mir/transform/add_validation.rs b/src/librustc_mir/transform/add_validation.rs
index e400683e8b4..d91db41d20d 100644
--- a/src/librustc_mir/transform/add_validation.rs
+++ b/src/librustc_mir/transform/add_validation.rs
@@ -89,7 +89,7 @@ impl MirPass for AddValidation {
             return;
         }
 
-        let local_decls = mir.local_decls.clone(); // TODO: Find a way to get rid of this clone.
+        let local_decls = mir.local_decls.clone(); // FIXME: Find a way to get rid of this clone.
 
         /// Convert an lvalue to a validation operand.
         let lval_to_operand = |lval: Lvalue<'tcx>| -> ValidationOperand<'tcx, Lvalue<'tcx>> {
@@ -104,7 +104,7 @@ impl MirPass for AddValidation {
             let acquire_stmt = Statement {
                 source_info: SourceInfo {
                     scope: ARGUMENT_VISIBILITY_SCOPE,
-                    span: mir.span, // TODO: Consider using just the span covering the function
+                    span: mir.span, // FIXME: Consider using just the span covering the function
                                     // argument declaration.
                 },
                 kind: StatementKind::Validate(ValidationOp::Acquire,
diff --git a/src/librustc_mir/transform/clean_end_regions.rs b/src/librustc_mir/transform/clean_end_regions.rs
index 28311a5e68c..1a31bf97530 100644
--- a/src/librustc_mir/transform/clean_end_regions.rs
+++ b/src/librustc_mir/transform/clean_end_regions.rs
@@ -43,7 +43,10 @@ impl MirPass for CleanEndRegions {
                           _tcx: TyCtxt<'a, 'tcx, 'tcx>,
                           _source: MirSource,
                           mir: &mut Mir<'tcx>) {
-        let mut gather = GatherBorrowedRegions { seen_regions: FxHashSet(), in_validation_statement: false };
+        let mut gather = GatherBorrowedRegions {
+            seen_regions: FxHashSet(),
+            in_validation_statement: false
+        };
         gather.visit_mir(mir);
 
         let mut delete = DeleteTrivialEndRegions { seen_regions: &mut gather.seen_regions };
diff --git a/src/librustc_mir/transform/erase_regions.rs b/src/librustc_mir/transform/erase_regions.rs
index 05376ff3d52..f01d71fde26 100644
--- a/src/librustc_mir/transform/erase_regions.rs
+++ b/src/librustc_mir/transform/erase_regions.rs
@@ -11,8 +11,8 @@
 //! This pass erases all early-bound regions from the types occuring in the MIR.
 //! We want to do this once just before trans, so trans does not have to take
 //! care erasing regions all over the place.
-//! NOTE:  We do NOT erase regions of statements that are relevant for "types-as-contracts"-validation,
-//! namely, AcquireValid, ReleaseValid, and EndRegion.
+//! NOTE:  We do NOT erase regions of statements that are relevant for
+//! "types-as-contracts"-validation, namely, AcquireValid, ReleaseValid, and EndRegion.
 
 use rustc::ty::subst::Substs;
 use rustc::ty::{Ty, TyCtxt, ClosureSubsts};