xeos
/
wasmi
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Replace unwrap with expect with a proof

This commit is contained in:
Sergey Pepyakin 2019-07-03 15:20:58 +02:00
parent 518da20b6b
commit 331b730bac
1 changed files with 10 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
src/memory/mmap_bytebuf.rs
View File

@ -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);
}