From 331b730bacaa2be661e081e852607e1fb717937f Mon Sep 17 00:00:00 2001
From: Sergey Pepyakin <sergei@parity.io>
Date: Wed, 3 Jul 2019 15:20:58 +0200
Subject: [PATCH] Replace unwrap with expect with a proof

---
 src/memory/mmap_bytebuf.rs | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/src/memory/mmap_bytebuf.rs b/src/memory/mmap_bytebuf.rs
index 39c11ec..3fdad09 100644
--- a/src/memory/mmap_bytebuf.rs
+++ b/src/memory/mmap_bytebuf.rs
@@ -142,7 +142,16 @@ impl ByteBuf {
                 let mut new_mmap = Mmap::new(new_len)?;
 
                 {
-                    let src = self.mmap.as_ref().unwrap().as_slice();
+                    let src = self
+                        .mmap
+                        .as_ref()
+                        .expect(
+                            "self.len() != 0;
+                            self.mmap is created if self.len() != 0;
+                            self.mmap is not `None`;
+                            qed",
+                        )
+                        .as_slice();
                     let dst = new_mmap.as_slice_mut();
                     dst[..src.len()].copy_from_slice(src);
                 }