From 6b4164e0df2a4fb14bee133a026774728ecb35d9 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Fri, 17 May 2019 19:42:35 +0200
Subject: [PATCH] nits

---
 src/stacked_borrows.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/stacked_borrows.rs b/src/stacked_borrows.rs
index d14d00018a7a..239752ea242e 100644
--- a/src/stacked_borrows.rs
+++ b/src/stacked_borrows.rs
@@ -237,10 +237,10 @@ impl<'tcx> Stack {
                 bug!("Cannot use Disabled for anything"),
             Permission::Unique =>
                 // On a write, everything above us is incompatible.
-                granting+1,
+                granting + 1,
             Permission::SharedReadWrite => {
                 // The SharedReadWrite *just* above us are compatible, to skip those.
-                let mut idx = granting+1;
+                let mut idx = granting + 1;
                 while let Some(item) = self.borrows.get(idx) {
                     if item.perm == Permission::SharedReadWrite {
                         // Go on.