From c28786d320048b81d2433689fac7ce5429292b46 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Thu, 16 Jul 2020 12:16:43 +0200
Subject: [PATCH] remove an unnecessary intermediate cast

---
 src/shims/posix/fs.rs | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/shims/posix/fs.rs b/src/shims/posix/fs.rs
index 87aa28120c28..7754c02744e6 100644
--- a/src/shims/posix/fs.rs
+++ b/src/shims/posix/fs.rs
@@ -461,9 +461,6 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
 
         if let Some(FileHandle { file, writable: _ }) = this.machine.file_handler.handles.get_mut(&fd) {
             trace!("read: FD mapped to {:?}", file);
-            // This can never fail because `count` was capped to be smaller than
-            // `isize::MAX`.
-            let count = isize::try_from(count).unwrap();
             // We want to read at most `count` bytes. We are sure that `count` is not negative
             // because it was a target's `usize`. Also we are sure that its smaller than
             // `usize::MAX` because it is a host's `isize`.