From e2fc494eeaef906294e3ef3ec69b5b4e9c92d2e0 Mon Sep 17 00:00:00 2001 From: Gaute Hope Date: Sun, 15 Oct 2023 16:42:37 +0200 Subject: [PATCH] dataset: fix clippy cast err --- src/reader/dataset.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/reader/dataset.rs b/src/reader/dataset.rs index af9dfc1..095ddc7 100644 --- a/src/reader/dataset.rs +++ b/src/reader/dataset.rs @@ -131,7 +131,7 @@ pub trait ParReaderExt: Reader + ParReader { let extents = extents.try_into().map_err(|e| e.into())?; let counts = extents.get_counts(self.shape())?; let dims = counts.map(|d| d as usize).collect::>(); - let vsz = dims.iter().product::() as usize * dsz / std::mem::size_of::(); + let vsz = dims.iter().product::() * dsz / std::mem::size_of::(); ensure!( dsz % std::mem::size_of::() == 0,